Sergio Antoy

According to our database, Sergio Antoy authored at least 68 papers between 1983 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

ICurry.

Sergio Antoy, Michael Hanus, Andy Jost, Steven Libby

Proceedings of the Declarative Programming and Knowledge Management, 2019

2018

Making Bubbling Practical.

Sergio Antoy, Steven Libby

CoRR, 2018

Synthesizing Set Functions.

Sergio Antoy, Michael Hanus, Finn Teegen

Proceedings of the Functional and Constraint Logic Programming, 2018

Equivalence Checking of Non-deterministic Operations.

Sergio Antoy, Michael Hanus

Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

2017

Default rules for Curry.

Sergio Antoy, Michael Hanus

Theory Pract. Log. Program., 2017

Transforming Boolean equalities into constraints.

Sergio Antoy, Michael Hanus

Formal Aspects Comput., 2017

Proving Non-Deterministic Computations in Agda.

Sergio Antoy, Michael Hanus, Steven Libby

Proceedings of the Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, 2017

Eliminating Irrelevant Non-determinism in Functional Logic Programs.

Sergio Antoy, Michael Hanus

Proceedings of the Practical Aspects of Declarative Languages, 2017

2016

A New Functional-Logic Compiler for Curry: Sprite.

Sergio Antoy, Andy Jost

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

2015

Compiling Collapsing Rules in Certain Constructor Systems.

Sergio Antoy, Andy Jost

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

From Boolean Equalities to Constraints.

Sergio Antoy, Michael Hanus

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

2014

Needed Computations Shortcutting Needed Steps.

Sergio Antoy, Jacob Johannsen, Steven Libby

Proceedings of the Proceedings 8th International Workshop on Computing with Terms and Graphs, 2014

Curry without Success.

Sergio Antoy, Michael Hanus

Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, 2014

2013

Are <i>needed</i> redexes really needed?

Sergio Antoy, Andy Jost

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

Compiling a Functional Logic Language: The Fair Scheme.

Sergio Antoy, Andy Jost

Proceedings of the Logic-Based Program Synthesis and Transformation, 2013

2012

Contracts and Specifications for Functional Logic Programming.

Sergio Antoy, Michael Hanus

Proceedings of the Practical Aspects of Declarative Languages, 2012

Compiling a Functional Logic Language: The Basic Scheme.

Sergio Antoy, Arthur Michener Peters

Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

2011

On the correctness of pull-tabbing.

Sergio Antoy

Theory Pract. Log. Program., 2011

New Functional Logic Design Patterns.

Sergio Antoy, Michael Hanus

Proceedings of the Functional and Constraint Logic Programming, 2011

2010

Programming with narrowing: A tutorial.

Sergio Antoy

J. Symb. Comput., 2010

Functional logic programming.

Sergio Antoy, Michael Hanus

Commun. ACM, 2010

2009

Set functions for functional logic programming.

Sergio Antoy, Michael Hanus

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

2007

Computing with subspaces.

Sergio Antoy, Bernd Braßel

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

2006

Lazy Context Cloning for Non-Deterministic Graph Rewriting.

Sergio Antoy, Daniel W. Brown, Su-Hui Chiang

Proceedings of the Third International Workshop on Term Graph Rewriting, 2006

Preface.

Sergio Antoy

Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, 2006

On the Correctness of Bubbling.

Sergio Antoy, Daniel W. Brown, Su-Hui Chiang

Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006

Overlapping Rules and Logic Variables in Functional Logic Programs .

Sergio Antoy, Michael Hanus

Proceedings of the Logic Programming, 22nd International Conference, 2006

2005

Declarative Programming with Function Patterns.

Sergio Antoy, Michael Hanus

Proceedings of the Logic Based Program Synthesis and Transformation, 2005

2004

Concurrent distinct choices.

Sergio Antoy, Michael Hanus

J. Funct. Program., 2004

Preface.

Sergio Antoy, Yoshihito Toyama

Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, 2004

Formalization and abstract implementation of rewriting with nested rules.

Sergio Antoy, Stephen Johnson

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

A Virtual Machine for Functional Logic Computations.

Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P. Tolmach

Proceedings of the Implementation and Application of Functional Languages, 2004

Implementing functional logic languages using multiple threads and stores.

Andrew P. Tolmach, Sergio Antoy, Marius Nita

Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

2003

A monadic semantics for core Curry.

Andrew P. Tolmach, Sergio Antoy

Proceedings of the 12th International Workshop on Functional and Constraint Logic Programming, 2003

Conditional narrowing without conditions.

Sergio Antoy, Bernd Brassel, Michael Hanus

Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

2002

Demandness in Rewriting and Narrowing.

Sergio Antoy, Salvador Lucas

Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002

Functional Logic Design Patterns.

Sergio Antoy, Michael Hanus

Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002

2001

Evaluation Strategies for Functional Logic Programming.

Sergio Antoy

Proceedings of the 1st International Workshop on Reduction Strategies in Rewriting and Programming, 2001

Improving the Efficiency of Non-Deterministic Computations.

Sergio Antoy, Pascual Julián Iranzo, Bart Massey

Proceedings of the International Workshop on Functional and (Constraint) Logic Programming, 2001

An Implementation of Narrowing Strategies.

Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner

Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

Constructor-Based Conditional Narrowing.

Sergio Antoy

Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

2000

Automatically Checking an Implementation against Its Formal Specification.

Sergio Antoy, Richard G. Hamlet

IEEE Trans. Software Eng., 2000

A needed narrowing strategy.

Sergio Antoy, Rachid Echahed, Michael Hanus

J. ACM, 2000

A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation.

Elvira Albert, Sergio Antoy, Germán Vidal

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages.

Elvira Albert, Sergio Antoy, Germán Vidal

Proceedings of the Logic Based Program Synthesis and Transformation, 2000

Measuring the Effectiveness of Partial Evaluation.

Elvira Albert, Sergio Antoy, Germán Vidal

Proceedings of the Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, 2000

Compiling Multi-Paradigm Declarative Programs into Prolog.

Sergio Antoy, Michael Hanus

Proceedings of the Frontiers of Combining Systems, 2000

1999

Typed Higher-Order Narrowing without Higher-Order Strategies.

Sergio Antoy, Andrew P. Tolmach

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1997

Narrowing the Narrowing Space.

Sergio Antoy, Zena M. Ariola

Proceedings of the Programming Languages: Implementations, 1997

Parallel Evaluation Strategies for Functional Logic Languages.

Sergio Antoy, Rachid Echahed, Michael Hanus

Proceedings of the Logic Programming, 1997

Optimal Non-deterministic Functional Logic Computations.

Sergio Antoy

Proceedings of the Algebraic and Logic Programming, 6th International Joint Conference, 1997

1996

A Sequential Reduction Strategy.

Sergio Antoy, Aart Middeldorp

Theor. Comput. Sci., 1996

Needed Narrowing in Prolog (Extended Abstract).

Sergio Antoy

Proceedings of the Programming Languages: Implementations, 1996

1994

Using Term Rewriting to Verify Software.

Sergio Antoy, John D. Gannon

IEEE Trans. Software Eng., 1994

1992

Self-Checking against Formal Specifications.

Sergio Antoy, Richard G. Hamlet

Proceedings of the Computing and Information, 1992

A Uniform Approach to Deduction and Automatic Implementation.

Sergio Antoy, Paola Forcheri, Maria Teresa Molfino, Carlo Schenone

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1992

Normalization by Leftmost Innermost Rewriting.

Sergio Antoy

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992

Definitional Trees.

Sergio Antoy

Proceedings of the Algebraic and Logic Programming, 1992

1991

Lazy Evaluation in Logic.

Sergio Antoy

Proceedings of the Programming Language Implementation and Logic Programming, 1991

Non-Determinism and Lazy Evaluation in Logic Programming.

Sergio Antoy

Proceedings of the Logic Program Synthesis and Transformation, 1991

1990

Rapid Protoryping of System Enhancements.

Sergio Antoy, Paola Forcheri, Maria Teresa Molfino, Marvin V. Zelkowitz

Proceedings of the First International Conference on Systems Integration, 1990

Design Strategies for Rewrite Rules.

Sergio Antoy

Proceedings of the Conditional and Typed Rewriting Systems, 1990

1989

Systematic design of algebraic specifications.

Sergio Antoy

Proceedings of the 5th International Workshop on Software Specification and Design, 1989

1987

Address location on envelopes.

Pen-Shu Yeh, Sergio Antoy, Anne Litcher, Azriel Rosenfeld

Pattern Recognit., 1987

Modeling and Isomorphisms of Positional Board Games.

Sergio Antoy

IEEE Trans. Pattern Anal. Mach. Intell., 1987

1984

A recursive algorithm for quick and efficient bit reversing.

Sergio Antoy

Pattern Recognit. Lett., 1984

1983

Is Pascal suitable for GKS?

Sergio Antoy, Giuliana Dettori

ACM SIGPLAN Notices, 1983

Towards GKS Binding to PASCAL.

Sergio Antoy, Giuliana Dettori

Proceedings of the 4th European Computer Graphics Conference and Exhibition, 1983