Следене
Sergio Antoy
Sergio Antoy
Потвърден имейл адрес: pdx.edu - Начална страница
Заглавие
Позовавания
Позовавания
Година
A needed narrowing strategy
S Antoy, R Echahed, M Hanus
Journal of the ACM (JACM) 47 (4), 776-822, 2000
5222000
Definitional trees
S Antoy
International Conference on Algebraic and Logic Programming, 143-157, 1992
2771992
Functional logic programming
S Antoy, M Hanus
Communications of the ACM 53 (4), 74-85, 2010
1702010
Automatically checking an implementation against its formal specification
S Antoy, D Hamlet
IEEE Transactions on Software engineering 26 (1), 55-69, 2000
1602000
Optimal non-deterministic functional logic computations
S Antoy
International Conference on Algebraic and Logic Programming, 16-30, 1997
1181997
Overlapping rules and logic variables in functional logic programs
S Antoy, M Hanus
International Conference on Logic Programming, 87-101, 2006
1092006
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
942000
Pakcs: The portland aachen kiel curry system
M Hanus, S Antoy, B Braßel, M Engelke, K Höppner, J Koj, P Niederau, ...
932003
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
852002
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
701997
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
592005
A sequential reduction strategy
S Antoy, A Middeldorp
Theoretical Computer Science 165 (1), 75-95, 1996
571996
Typed higher-order narrowing without higher-order strategies
S Antoy, A Tolmach
International Symposium on Functional and Logic Programming, 335-352, 1999
391999
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, ...
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
312000
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20