Publications

Some papers are copyrighted by either the authors or the publisher. The papers here provided are for personal use; other uses require the explicit written permission of the copyright holder.

Abstract and bibTeX references are plain text files. Postscript documents are gzipped. If you have problems downloading any file, please e-mail to antoy@cs.pdx.edu.

Title Download
Sergio Antoy, Michael Hanus and Steven Libby,
ICurry,
Pre-Proceedings of the 27th International Workshop on Functional and Logic Programming (WFLP 2019), September 9-13, 2019, Cottbus, Germany, on-line.
IMAGE pdf
IMAGE bibtex
Sergio Antoy and Steven Libby
Making Bubbling Practical,
26th International Workshop on Functional and Logic Programming (WFLP 2018), September 6, 2018, Frankfurt am Main, Germany, on-line.
IMAGE abstract
IMAGE pdf
Sergio Antoy, Michael Hanus, and Finn Teegen
Synthesizing Set Functions,
26th International Workshop on Functional and Logic Programming (WFLP 2018), September 6, 2018, Frankfurt am Main, Germany, on-line.
IMAGE abstract
IMAGE pdf
Sergio Antoy and Michael Hanus,
Equivalence Checking of Non-deterministic Operations,
14th Internation Symposium on Functional and Logic Programming (FLOPS 2018), 9-11 May, 2018, Nagoya, Japan, Springer LNCS, Vol. 10818, pages 149-165, on-line.
IMAGE pdf
IMAGE bibtex
Sergio Antoy, Michael Hanus and Steven Libby,
Proving Non-Deterministic Computations in Agda,
Electronic Proceedings in Theoretical Computer Science 234, pp. 180-195. Published: 1st January 2017, on-line.
IMAGE pdf
IMAGE bibtex
Sergio Antoy and Michael Hanus,
Transforming Boolean equalities into constraints,
Formal Aspects of Computing, May 2017, Volume 29, Issue 3, pp 475-494, on-line.
IMAGE pdf
IMAGE bibtex
Sergio Antoy and Michael Hanus,
Default Rules for Curry,
Theory and Practice of Logic Programming, Volume 17, Issue 2, March 2017, pp. 121-147, on-line.
IMAGE pdf
IMAGE bibtex
Sergio Antoy and Andy Jost,
A New Functional-Logic Compiler for Curry: Sprite
Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016, CoRR, Vol. abs/1608.04016, on-line.
IMAGE pdf
IMAGE slides
Sergio Antoy and Michael Hanus,
Default Rules for Curry 18th International Symposium on Practical Aspects of Declarative Languages (PADL 16), St. Petersburg, FL, USA, January 18-19, 2016, Springer LNCS, Vol. 9585, pages 65-82, on-line.
IMAGE pdf
Sergio Antoy and Michael Hanus,
Default Rules in Functional Logic Programs Proceedings of the 29nd Workshop on (Constraint) Logic Programming (WLP 2015), Dresden, Germany, September 22, 2015, pages 17-20, on-line.
IMAGE pdf
Sergio Antoy and Michael Hanus,
From Boolean Equalities to Constraints
25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015), Siena, IT, July 13-15, 2015, Springer LNCS, Vol. 9527, pages 73-88, 2016, on-line.
IMAGE pdf
Sergio Antoy and Andy Jost,
Compiling Collapsing Rules in Certain Constructor Systems
25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015), Siena, IT, July 13-15, 2015, Springer LNCS, Vol. 9527, pages 57-72, 2016, on-line.
IMAGE pdf
IMAGE slides
Sergio Antoy, Jacob Johannsen and Steven Libby,
Needed Computations Shortcutting Needed Steps
The 8th International Workshop Computing with Terms and Graphs (Termgraph 2014), Vienna, Austria, July 13, 2014.
Also EPTCS Vol.183, pages 18-32, 2015. on-line.
IMAGE abstract
IMAGE bibtex
IMAGE pdf
IMAGE slides
Sergio Antoy and Michael Hanus,
Curry without Success
The 23rd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2014), Leucorea, Germany, Sept. 15-17, 2014, on-line.
IMAGE abstract
IMAGE bibtex
IMAGE pdf
Sergio Antoy and Andy Jost,
Are Needed Redexes Really Needed?
Proc. of the 15th Symposium on Principles and Practice of Declarative Programming (PPDP 2013), Madrid, Spain, Sept. 16-18, 2013, ACM Press, ISBN 978-1-4503-2154-9, pages 61-71, on-line.
IMAGE abstract
IMAGE bibtex
IMAGE pdf
Sergio Antoy and Andy Jost
Compiling a Functional Logic Language: The Fair Scheme
Extended version of Proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2013), Madrid, Spain, Sept. 18-19, 2013, Springer LNCS, Vol. 8901, pages 202-219 on-line.
IMAGE abstract
IMAGE bibtex
IMAGE pdf
Sergio Antoy and Andy Jost,
A Target Implementation for High-Performance Functional Program
Presentation at the 14th International Symposium Trends in Functional Programming (TFP 2013), Provo, Utah, May 14-16, 2013.
IMAGE abstract
IMAGE bibtex
IMAGE pdf
Sergio Antoy and Arthur Peters,
Compiling a Functional Logic Language: The Basic Scheme
Proc. of the Eleventh International Symposium on Functional and Logic Programming (FLOPS 2012), Kobe, Japan, May 23-25, 2012, Springer LNCS, Vol. 7294, pages 17-31, on-line.
IMAGE abstract
IMAGE bibtex
IMAGE pdf
Sergio Antoy and Michael Hanus,
Contracts and Specifications for Functional Logic Programming
Proc. of the 14th International Symposium on Practical Aspects of Declarative Languages (PADL 2012), Philadelphia, PA, USA, Springer LNCS, Vol. 7149, pages 33-47, on-line.
IMAGE abstract
IMAGE bibtex
IMAGE pdf
Sergio Antoy and Michael Hanus,
New Functional Logic Design Patterns
20th International Workshop on Functional and (constraint) Logic Programming (WFLP 2011), Odense, Denmark, Springer LNCS, Vol. 6816, pages 19-34, 2011, on-line.
IMAGE abstract
IMAGE bibtex
IMAGE pdf
Sergio Antoy
On the Correctness of Pull-Tabbing
Theory and Practice of Logic Programming 11 (4-5): 713-730, July 2011. © Cambridge University Press 2011, on-line.
IMAGE abstract
IMAGE bibtex
IMAGE pdf
Abdulla Alqaddoumi, Sergio Antoy, Sebastian Fischer and Fabian Reck,
The Pull-Tab Transformation
Preproceedings of the Third International Workshop on Graph Computation Models (GCM 2010) Enschede, The Netherlands, pages 127-133, October 2nd, 2010, on-line.
IMAGE abstract
IMAGE bibtex
IMAGE pdf
Sergio Antoy and Michael Hanus,
A Transformation Tool for Functional Logic Program Development
24th Workshop on Constraint Logic Programming (WLP 2010)
Cairo, Egypt, pages 23-33, September 14-16, 2010.
IMAGE abstract
IMAGE bibtex
IMAGE pdf
Sergio Antoy
Programming with Narrowing: a Tutorial
Journal of Symbolic Computation, vol. 45, no. 5, pages 501-522, May 2010, on-line.
IMAGE abstract
IMAGE bibtex
IMAGE pdf
Sergio Antoy and Michael Hanus,
Functional Logic Programming
Communications of the ACM, vol. 53, no. 4, pages 74-85, April 2010, on-line.
IMAGE abstract
IMAGE bibtex
IMAGE pdf
Sergio Antoy and Michael Hanus,
Set Functions for Functional Logic Programming.
11th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2009)
Lisbon, Portugal, Sept. 2009, ACM Press, pages 73-82, on-line.
IMAGE abstract
IMAGE bibtex
IMAGE pdf
IMAGE slides
Sergio Antoy and Bernd Brassel,
Computing with Subspaces
Proc. of the 9th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2007),
pages 121-130, July 14-16, Wroclaw, Poland, 2007, on-line.
IMAGE abstract
IMAGE e-mail
IMAGE bibtex
Sergio Antoy, editor,
Proceedings of the 6th International Workshop on Reduction Strategies in Rewriting and Programming (WRS'06),
Technical Report 06-04, Portland State University, 2006.

Electronic Notes in Theoretical Computer Science Volume 174, Issue 10, 2 July 2007, on-line.

IMAGE bibtex
IMAGE ps
IMAGE pdf
Sergio Antoy, Daniel Brown and Su-Hui Chiang,
On the Correctness of Bubbling
Proc. of the 17th International Conference on Rewriting Techniques and Applications (RTA'06),
Springer LNCS, Vol. 4098, pages 35-49, 2006, on-line.
IMAGE abstract
IMAGE bibtex
IMAGE slides
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy and Michael Hanus,
Overlapping Rules and Logic Variables in Functional Logic Programs
Proc. of the 22nd International Conference on Logic Programming (ICLP06),
Springer LNCS, Vol. 4079, pages-87-101, 2006, on-line.
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy and Daniel Brown and Su-Hui Chiang,
Lazy Context Cloning for Non-Deterministic Graph Rewriting
Proc. of the 3rd International Workshop on Term Graph Rewriting (TERMGRAPH'06),
pages-61-70, 2006.
IMAGE abstract
IMAGE bibtex
IMAGE slides
IMAGE dvi
IMAGE ps
IMAGE pdf
Full version, Electronic Notes in Theoretical Computer Science
Volume 176, Issue 1, 28 May 2007, Pages 3-23, on-line.
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy and Michael Hanus,
Declarative Programming with Function Patterns
15th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2005),
Springer LNCS, Vol. 3901, pages 6-22, 2005, on-line.
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy
Evaluation Strategies for Functional Logic Programming
Journal of Symbolic Computation, vol. 40, no. 1, pages 875-903, 2005, on-line.
IMAGE abstract
IMAGE bibtex
IMAGE ps
IMAGE pdf
Sergio Antoy, Michael Hanus, Jimeng Liu and Andrew Tolmach
A Virtual Machine for Functional Logic Computations
16th International Workshop on Implementation and Application of Functional Languages (IFL 2004),
Springer LNCS Vol. 3474, pages 108-125, 2005, on-line.
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Andrew Tolmach, Sergio Antoy and Marius Nita
Implementing Functional Logic Languages Using Multiple Threads and Stores
The Ninth International Conference on Functional Programming (ICFP 2004)
Snowbird, Utah, USA, Sept. 2004, ACM Press, pages 90-102, on-line.
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy and Stephen Johnson
Formalization and Abstract Implementation of Rewriting with Nested Rules
Sixth International Conference on Principles and Practice of Declarative Programming (PPDP 2004)
Verona, Italy, Aug. 2004, ACM Press, pages 144-154, on-line.
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy and Yoshihito Toyama eds,
Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming (WRS'04)
Technical Report, Department of Computer Science of RWTH Aachen, AIB-2004-05, June 2004.
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy and Stephen Johnson
TeaBag: A Functional Logic Language Debugger
13th International Workshop on Functional and (constraint) Logic Programming (WFLP'04)
Aachen, Germany, June 2004
Technical Report, Department of Computer Science of RWTH Aachen, AIB-2004-05, June 2004. pp. 4-18.
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy and Michael Hanus
Concurrent Distinct Choices
Journal Functional Programming
Vol. 14, no. 6, pages 657-668, 2004, on-line.
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy, Bernd Brassel and Michael Hanus
Conditional Narrowing without Conditions
Fifth International Conference on Principles and Practice of Declarative Programming (PPDP 2003)
Upsala, Sweden, Aug. 2003, ACM Press, pages 20-31, on-line.
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy and Andrew Tolmach
A Monadic Semantics for Core Curry
12th International Workshop on Functional and (constraint) Logic Programming (WFLP'03)
Valencia, Spain, June 2003
Technical Report DSIC-II/13/03, Departmento de Sistemas y Computatcion, Universidad Politecnica de Valencia, pp. 33-46.
Also Electronic Notes in Theoretical Computer Science Volume 86, Issue 3, November 2003, Pages 16-34, on-line.
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy and Michael Hanus
Functional Logic Design Patterns
Sixth International Symposium on Functional and Logic Programming
(FLOPS 2002), Aizu, Japan, Sept. 2002
Springer LNCS Vol. 2441, pages 67-87, on-line.
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy and Salvator Lucas
Demandness in Rewriting and Narrowing
11th International Workshop on Functional and (constraint) Logic Programming
(WFLP'02), Grado, Italy, June 2002, pages 35-43.
Also ENTCS vol. 76 (2002).
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy, Pascual Julian Iranzo and Barton Massey
Improving the Efficiency of Non-Deterministic Computations
10th International Workshop on Functional and Logic Programming and 16th Workshop on Logic Programming (WFLP'01)
Kiel, Germany, Sept. 2001, pages 17-30.
Also ENTCS vol. 64 (2001).
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy
Constructor-based Conditional Narrowing
3rd International Conference on Principles and Practice of Declarative Programming (PPDP'01),
Firenze, Italy, Sept. 2001, ACM Press, pages 199-206, on-line.
IMAGE abstract
IMAGE bibtex
IMAGE ps
IMAGE pdf
Sergio Antoy, Barton Massey, Michael Hanus and Frank Steiner
An Implementation of Narrowing Strategies
3rd International Conference on Principles and Practice of Declarative Programming (PPDP'01),
Firenze, Italy, Sept. 2001, ACM Press, pages 207-217.
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy
Evaluation Strategies for Functional Logic Programming
International Workshop on Reduction Strategies in Rewriting and Programming (WRS'01),
Utrecht, The Netherlands, May 2001, pages 1-17.
Also ENTCS vol. 57 (2001).
IMAGE abstract
IMAGE bibtex
IMAGE ps
IMAGE pdf
Elvira Albert, Sergio Antoy and Germán Vidal
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages
10th Int'l Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR'2000)
Springer LNCS Vol. 2042, pages 103-124, 2001, on-line.
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Full version IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy, Rachid Echahed and Michael Hanus
A Needed Narrowing Strategy
Journal of the ACM Vol. 47, no. 4, July 2000, pages 776-822.
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy and Michael Hanus
Compiling Multi-Paradigm Declarative Programs into Prolog
International Workshop on Frontiers of Combining Systems
(FroCoS'2000), Nancy, France, March 2000, Springer LNCS Vol. 1794, pages 171-185, on-line.
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy and Dick Hamlet
Automatically Checking an Implementation
against its Formal Specification

IEEE Transaction on Software Engineering
Vol. 26, no. 1, Jan. 2000, pages 55-69.
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy and Andrew Tolmach
Typed Higher-order Narrowing without Higher-order Strategies
4th Fuji Int'l Symp. on Functional and Logic Programming
(FLOPS'99), Tsukuba, Japan, Nov. 1999
Springer LNCS Vol. 1722, pages 335-350, on-line.
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy
Optimal Non-Deterministic Functional Logic Computations
6th Int'l Conf. on Algebraic and Logic Programming
(ALP'97), Southampton, UK, Sept. 1997
Springer LNCS Vol. 1298, pages 16-30, on-line.
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Full version IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy and Zena M. Ariola
Narrowing the Narrowing Space
9th Int'l Symp. on Prog. Lang., Implementations, Logics, and Programs
(PLILP'97), Southampton, UK, Sept. 1997
Springer LNCS Vol. 1292, pages 1-15.
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy, Rachid Echahed and Michael Hanus
Parallel Evaluation Strategies for Functional Logic Languages
14th International Conference on Logic Programming
(ICLP'94), Leuven, Belgium, July 1997
MIT Press, pages 138-152.
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy, Paola Forcheri, John Gannon and Maria Teresa Molfino
Equational Specifications: Design, Implementation, and Reasoning
in Advances in the Design of Symbolic Computation Systems
Springer, Texts and monographs in symbolic computation, 1996, pages 126-144.
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy
Needed Narrowing in Prolog (Extended abstract)
8th Int'l Symp. on Prog. Lang., Implementations, Logics, and Programs
(PLILP'96), Aachen, Germany, Sept. 1996
Springer LNCS Vol. 1140, pages 473-474.
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Full version IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy and Aart Middeldorp
A Sequential Strategy
Theoretical Computer Science 165:75-95, 1996.
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy, David Shapiro and Janet Vorvick
Goedel with User-Defined Evaluable Functions
Vision for the Future of Logic Programming:
Laying the Foundations for a Modern Successor to Prolog
,
a workshop in association with the ILPS'95,
Portland, OR, Dec. 1995, pages 37-46.
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy, Rachid Echahed and Michael Hanus
A Needed Narrowing Strategy
21st ACM Symposium on Principles of Programming Languages
Portland, Oregon, Jan. 1994, pages 268-279.
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy and John Gannon
Using Term Rewriting Systems to Verify Software
IEEE Transaction on Software Engineering
Vol. 20, no. 4, April 1994, pages 259-274.
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy and Dick Hamlet
Testing by Narrowing
ARO/AFOSR/ONR Workshop, Monterey, CA, Oct. 1993, pages 13-15.
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy
Definitional Trees
3rd Int'l Conf. on Algebraic and Logic Programming (ALP'92)
Volterra, Italy, Sept. 1992
Springer LNCS Vol. 632, pages 143-157.
IMAGE abstract
IMAGE bibtex
IMAGE dvi
IMAGE ps
IMAGE pdf
Sergio Antoy
Lazy Rewriting in Logic Programming
TR90-17, Rev. 2, Portland State University, 1992.
IMAGE abstract IMAGE ps
Sergio Antoy and Jim Davidson
Binding XDR to LISP
Internetworking: Research and Experience 3-2:83-99, 1992.
IMAGE abstract
IMAGE bibtex
IMAGE ps