A needed narrowing strategy S Antoy, R Echahed, M Hanus Journal of the ACM (JACM) 47 (4), 776-822, 2000 | 526 | 2000 |
Definitional trees S Antoy International Conference on Algebraic and Logic Programming, 143-157, 1992 | 279 | 1992 |
Functional logic programming S Antoy, M Hanus Communications of the ACM 53 (4), 74-85, 2010 | 169 | 2010 |
Automatically checking an implementation against its formal specification S Antoy, D Hamlet IEEE Transactions on Software engineering 26 (1), 55-69, 2000 | 159 | 2000 |
Optimal non-deterministic functional logic computations S Antoy International Conference on Algebraic and Logic Programming, 16-30, 1997 | 120 | 1997 |
Overlapping rules and logic variables in functional logic programs S Antoy, M Hanus International Conference on Logic Programming, 87-101, 2006 | 110 | 2006 |
Constructor-based conditional narrowing S Antoy Proceedings of the 3rd ACM SIGPLAN international conference on Principles …, 2001 | 104 | 2001 |
Compiling multi-paradigm declarative programs into Prolog S Antoy, M Hanus International Workshop on Frontiers of Combining Systems, 171-185, 2000 | 95 | 2000 |
Pakcs: The portland aachen kiel curry system M Hanus, S Antoy, B Braßel, M Engelke, K Höppner, J Koj, P Niederau, ... | 94 | 2003 |
Curry: An integrated functional logic language (version 0.8. 2) M Hanus, S Antoy, H Kuchen, F López-Fraguas, W Lux, JM Navarro, ... | 92 | 2006 |
Functional logic design patterns S Antoy, M Hanus International Symposium on Functional and Logic Programming, 67-87, 2002 | 83 | 2002 |
Declarative programming with function patterns S Antoy, M Hanus International Symposium on Logic-Based Program Synthesis and Transformation …, 2005 | 71 | 2005 |
Parallel Evaluation Strategies for Functional Logic Languages. S Antoy, R Echahed, M Hanus ICLP, 138-152, 1997 | 69 | 1997 |
Set functions for functional logic programming S Antoy, M Hanus Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009 | 60 | 2009 |
Evaluation strategies for functional logic programming S Antoy Journal of Symbolic Computation 40 (1), 875-903, 2005 | 58 | 2005 |
A sequential reduction strategy S Antoy, A Middeldorp Theoretical Computer Science 165 (1), 75-95, 1996 | 58 | 1996 |
Typed higher-order narrowing without higher-order strategies S Antoy, A Tolmach International Symposium on Functional and Logic Programming, 335-352, 1999 | 38 | 1999 |
A virtual machine for functional logic computations S Antoy, M Hanus, J Liu, A Tolmach Implementation and Application of Functional Languages: 16th International …, 2005 | 36 | 2005 |
PAKCS: The Portland Aachen Kiel Curry System (2010) M Hanus, S Antoy, B Braßel, M Engelke, K Höppner, J Koj, P Niederau, ... | 32 | 2003 |
PAKCS 1.2: The Portland Aachen Kiel Curry System User Manual M Hanus, S Antoy, J Koj, R Sadre, F Steiner Technical report, University of Kiel, Germany, 2000 | 32 | 2000 |