Follow
Sergio Antoy
Title
Cited by
Cited by
Year
A needed narrowing strategy
S Antoy, R Echahed, M Hanus
Journal of the ACM (JACM) 47 (4), 776-822, 2000
5192000
Definitional trees
S Antoy
International Conference on Algebraic and Logic Programming, 143-157, 1992
2721992
Functional logic programming
S Antoy, M Hanus
Communications of the ACM 53 (4), 74-85, 2010
1672010
Automatically checking an implementation against its formal specification
S Antoy, D Hamlet
IEEE Transactions on Software engineering 26 (1), 55-69, 2000
1582000
Optimal non-deterministic functional logic computations
S Antoy
International Conference on Algebraic and Logic Programming, 16-30, 1997
1161997
Overlapping rules and logic variables in functional logic programs
S Antoy, M Hanus
International Conference on Logic Programming, 87-101, 2006
1062006
Constructor-based conditional narrowing
S Antoy
Proceedings of the 3rd ACM SIGPLAN international conference on Principles …, 2001
1022001
Pakcs: The portland aachen kiel curry system
M Hanus, S Antoy, B Braßel, M Engelke, K Höppner, J Koj, P Niederau, ...
932003
Compiling multi-paradigm declarative programs into Prolog
S Antoy, M Hanus
International Workshop on Frontiers of Combining Systems, 171-185, 2000
922000
Curry: An integrated functional logic language (version 0.8. 2)
M Hanus, S Antoy, H Kuchen, F López-Fraguas, W Lux, JM Navarro, ...
902006
Functional logic design patterns
S Antoy, M Hanus
International Symposium on Functional and Logic Programming, 67-87, 2002
822002
Declarative programming with function patterns
S Antoy, M Hanus
International Symposium on Logic-Based Program Synthesis and Transformation …, 2005
712005
Parallel Evaluation Strategies for Functional Logic Languages.
S Antoy, R Echahed, M Hanus
ICLP, 138-152, 1997
691997
Set functions for functional logic programming
S Antoy, M Hanus
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009
592009
Evaluation strategies for functional logic programming
S Antoy
Journal of Symbolic Computation 40 (1), 875-903, 2005
572005
A sequential reduction strategy
S Antoy, A Middeldorp
Theoretical Computer Science 165 (1), 75-95, 1996
561996
Typed higher-order narrowing without higher-order strategies
S Antoy, A Tolmach
International Symposium on Functional and Logic Programming, 335-352, 1999
381999
A virtual machine for functional logic computations
S Antoy, M Hanus, J Liu, A Tolmach
Implementation and Application of Functional Languages: 16th International …, 2005
352005
PAKCS: The Portland Aachen Kiel Curry System (2010)
M Hanus, S Antoy, B Braßel, M Engelke, K Höppner, J Koj, P Niederau, ...
312003
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
302000
The system can't perform the operation now. Try again later.
Articles 1–20