Folgen
Sergio Antoy
Sergio Antoy
Bestätigte E-Mail-Adresse bei pdx.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
A needed narrowing strategy
S Antoy, R Echahed, M Hanus
Journal of the ACM (JACM) 47 (4), 776-822, 2000
5302000
Definitional trees
S Antoy
International Conference on Algebraic and Logic Programming, 143-157, 1992
2791992
Functional logic programming
S Antoy, M Hanus
Communications of the ACM 53 (4), 74-85, 2010
1722010
Automatically checking an implementation against its formal specification
S Antoy, D Hamlet
IEEE Transactions on Software engineering 26 (1), 55-69, 2000
1612000
Optimal non-deterministic functional logic computations
S Antoy
International Conference on Algebraic and Logic Programming, 16-30, 1997
1211997
Overlapping rules and logic variables in functional logic programs
S Antoy, M Hanus
International Conference on Logic Programming, 87-101, 2006
1102006
Constructor-based conditional narrowing
S Antoy
Proceedings of the 3rd ACM SIGPLAN international conference on Principles …, 2001
1052001
Compiling multi-paradigm declarative programs into Prolog
S Antoy, M Hanus
International Workshop on Frontiers of Combining Systems, 171-185, 2000
972000
Pakcs: The portland aachen kiel curry system
M Hanus, S Antoy, B Braßel, M Engelke, K Höppner, J Koj, P Niederau, ...
952003
Curry: An integrated functional logic language (version 0.8. 2)
M Hanus, S Antoy, H Kuchen, F López-Fraguas, W Lux, JM Navarro, ...
922006
Functional logic design patterns
S Antoy, M Hanus
International Symposium on Functional and Logic Programming, 67-87, 2002
842002
Declarative programming with function patterns
S Antoy, M Hanus
International Symposium on Logic-Based Program Synthesis and Transformation …, 2005
722005
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
632009
Evaluation strategies for functional logic programming
S Antoy
Journal of Symbolic Computation 40 (1), 875-903, 2005
582005
A sequential reduction strategy
S Antoy, A Middeldorp
Theoretical Computer Science 165 (1), 75-95, 1996
581996
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
362005
PAKCS: The Portland Aachen Kiel Curry System (2010)
M Hanus, S Antoy, B Braßel, M Engelke, K Höppner, J Koj, P Niederau, ...
322003
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
322000
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20