Sergio Antoy
Sergio Antoy
Professor of Computer Science, Portland State University
Verified email at pdx.edu - Homepage
Title
Cited by
Cited by
Year
AEG: Automatic exploit generation
T Avgerinos, SK Cha, BLT Hao, D Brumley
Carnegie Mellon University, 2011
566*2011
A needed narrowing strategy
S Antoy, R Echahed, M Hanus
Journal of the ACM (JACM) 47 (4), 776-822, 2000
4882000
Definitional trees
S Antoy
International Conference on Algebraic and Logic Programming, 143-157, 1992
2611992
Automatically checking an implementation against its formal specification
S Antoy, D Hamlet
IEEE Transactions on Software Engineering 26 (1), 55-69, 2000
1492000
Functional logic programming
S Antoy, M Hanus
Communications of the ACM 53 (4), 74-85, 2010
1392010
Optimal non-deterministic functional logic computations
S Antoy
Algebraic and Logic Programming, 16-30, 1997
1091997
Overlapping rules and logic variables in functional logic programs
S Antoy, M Hanus
International Conference on Logic Programming, 87-101, 2006
1002006
Constructor-based conditional narrowing
S Antoy
Proceedings of the 3rd ACM SIGPLAN international conference on Principles …, 2001
982001
Pakcs: The portland aachen kiel curry system
M Hanus, S Antoy, B Braßel, M Engelke, K Höppner, J Koj, P Niederau, ...
892003
Compiling multi-paradigm declarative programs into Prolog
S Antoy, M Hanus
International Workshop on Frontiers of Combining Systems, 171-185, 2000
872000
Curry An Integrated Functional Logic Language Version 0.8. 1
M Hanus
862003
Functional logic design patterns
S Antoy, M Hanus
International Symposium on Functional and Logic Programming, 67-87, 2002
822002
Parallel Evaluation Strategies for Functional Logic Languages.
S Antoy, R Echahed, M Hanus
ICLP, 138-152, 1997
681997
Declarative programming with function patterns
S Antoy, M Hanus
International Symposium on Logic-Based Program Synthesis and Transformation …, 2005
622005
Evaluation strategies for functional logic programming
S Antoy
Journal of Symbolic Computation 40 (1), 875-903, 2005
552005
A sequential reduction strategy
S Antoy, A Middeldorp
Theoretical Computer Science 165 (1), 75-95, 1996
541996
Set functions for functional logic programming
S Antoy, M Hanus
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009
482009
A virtual machine for functional logic computations
S Antoy, M Hanus, J Liu, A Tolmach
Symposium on Implementation and Application of Functional Languages, 108-125, 2004
372004
Typed higher-order narrowing without higher-order strategies
S Antoy, A Tolmach
International Symposium on Functional and Logic Programming, 335-352, 1999
371999
PAKCS: The Portland Aachen Kiel Curry System (2010)
M Hanus, S Antoy, B Braßel, M Engelke, K Höppner, J Koj, P Niederau, ...
302003
The system can't perform the operation now. Try again later.
Articles 1–20