Michael Hanus
Michael Hanus
Professor of Computer Science, Institute of Informatics, CAU Kiel
Verified email at informatik.uni-kiel.de - Homepage
Title
Cited by
Cited by
Year
The integration of functions into logic programming: From theory to practice
M Hanus
The Journal of Logic Programming 19, 583-628, 1994
7111994
The integration of functions into logic programming: From theory to practice
M Hanus
The Journal of Logic Programming 19, 583-628, 1994
7111994
Automatic exploit generation
T Avgerinos, SK Cha, A Rebert, EJ Schwartz, M Woo, D Brumley
Communications of the ACM 57 (2), 74-84, 2014
605*2014
A needed narrowing strategy
S Antoy, R Echahed, M Hanus
Journal of the ACM (JACM) 47 (4), 776-822, 2000
4862000
A unified computation model for functional and logic programming
M Hanus
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
2581997
Curry An Integrated Functional Logic Languages
M Hanus
http://www. informatik. uni-kiel. de/~ curry/, 2000
2162000
Curry: An integrated functional logic language (vers. 0.8. 2)
M Hanus
1492006
Multi-paradigm declarative languages
M Hanus
International Conference on Logic Programming, 45-75, 2007
1462007
Functional logic programming
S Antoy, M Hanus
Communications of the ACM 53 (4), 74-85, 2010
1422010
Curry: A truly functional logic language
M Hanus, H Kuchen, JJ Moreno-Navarro
Proc. ILPS 95 (5), 95-107, 1995
1371995
Operational semantics for declarative multi-paradigm languages
E Albert, M Hanus, F Huch, J Oliver, G Vidal
Journal of Symbolic Computation 40 (1), 795-829, 2005
1312005
Xbase: implementing domain-specific languages for Java
S Efftinge, M Eysholdt, J Köhnlein, S Zarnekow, R von Massow, ...
ACM SIGPLAN Notices 48 (3), 112-121, 2012
1202012
Operational semantics for declarative multi-paradigm languages
E Albert, M Hanus, F Huch, J Oliver, G Vidal
Journal of Symbolic Computation 40 (1), 795-829, 2005
1162005
Compiling logic programs with equality
M Hanus
International Workshop on Programming Language Implementation and Logic …, 1990
1031990
Overlapping rules and logic variables in functional logic programs
S Antoy, M Hanus
International Conference on Logic Programming, 87-101, 2006
1002006
High-level server side web scripting in Curry
M Hanus
International Symposium on Practical Aspects of Declarative Languages, 76-92, 2001
972001
Higher-order narrowing with definitional trees
M Hanus, C Prehofer
Journal of Functional Programming 9 (1), 33-75, 1999
961999
Pakcs: The portland aachen kiel curry system
M Hanus, S Antoy, B Braßel, M Engelke, K Höppner, J Koj, P Niederau, ...
892003
Curry An Integrated Functional Logic Language Version 0.8. 1
M Hanus
872003
Compiling multi-paradigm declarative programs into Prolog
S Antoy, M Hanus
International Workshop on Frontiers of Combining Systems, 171-185, 2000
872000
The system can't perform the operation now. Try again later.
Articles 1–20