- Evaluation Strategies Functional Logic Programming
- Functional Logic Programming Sergio Antoy
- Definitional Trees Sergio Antoy ?
- 14th International Conference on Logic Programming (ICLP'94) Leuven, Belgium, July 1997, MIT Press, pages 138152.
- A Needed Narrowing Strategy Journal of the ACM, Volume 47, No. 4 (Jul. 2000) pp. 776-822
- An Implementation of Narrowing Strategies Sergio Antoy
- Theoretical Computer Science 165:75-95, 1996. A Sequential Reduction Strategy
- A Monadic Semantics for Core Curry # Andrew Tolmach and Sergio Antoy
- A Needed Narrowing Strategy Journal of the ACM, Volume 47, No. 4 (Jul. 2000) pp. 776-822
- 9th Int'l Symp. on Prog. Lang., Implementations, Logics, and Programs (PLILP'97) Southampton, UK, Sept. 1997, Springer LNCS Vol. 1292, pages 1-15.
- XDR Binding to LISP Sergio Antoy
- Testing by Narrowing Extended Abstract
- 10th International Workshop on Functional and Logic Programming and 16th Workshop on Logic Programming (WFLP'01)
- Godel with User-de ned Evaluable Functions Vision for the Future of Logic Programming: Laying the Foundations of a Modern Successor to Prolog. A
- Declarative Programming with Function Patterns # Sergio Antoy 1 Michael Hanus 2
- Conditional Narrowing without Conditions # Sergio Antoy
- 6th Int'l Conf. on Algebraic and Logic Programming (ALP'97), Southampton, UK, Sept. 1997, Springer LNCS Vol. 1298, pages 16-30.
- Functional Logic Design Patterns # Sergio Antoy 1 Michael Hanus 2
- Equational Specifications: Design, Implementation, and Reasoning \Lambda S. Antoy, 1 P. Forcheri, 2 J. Gannon, 3 and M. T. Molfino 2
- A Needed Narrowing Strategy Sergio Antoy
- Measuring the E ectiveness of Partial Evaluation in Functional Logic Languages
- Implementing Functional Logic Languages Using Multiple Threads and Stores #
- Lazy Rewriting in Logic Programming \Lambda Sergio Antoy y
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 26, NO. 1, JANUARY 2000, PP. 55{69 Automatically Checking an Implementation
- Compiling Multi-Paradigm Declarative Programs into Prolog ?
- On the Correctness of Bubbling # Sergio Antoy Daniel W. Brown SuHui Chiang
- Demandness in Rewriting and Narrowing Sergio Antoy 1# and Salvador Lucas 2##
- Under consideration for publication in J. Functional Programming 1 FUNCT I ONAL PEARL
- Programming with Narrowing: a Tutorial Sergio Antoy 1
- TERMGRAPH 2006 Lazy Context Cloning for Non-Deterministic
- Needed Narrowing in Prolog Sergio Antoy
- 6th Int'l Conf. on Algebraic and Logic Programming (ALP'97), Southampton, UK, Sept. 1997, Springer LNCS Vol. 1298, pages 16-30.
- An Implementation of Narrowing Strategies Sergio Antoy
- TERMGRAPH 2006 Lazy Context Cloning for Non-Deterministic
- Overlapping Rules and Logic Variables in Functional Logic Programs #
- Constructorbased Conditional Narrowing # Sergio Antoy
- 10th International Workshop on Functional and Logic Programming and 16th Workshop on Logic Programming (WFLP'01)
- On the Correctness of Pull-Tabbing Sergio Antoy
- International Workshop on Reduction Strategies in Rewriting and Programming, (WRS'01), Utrecht, The Netherlands, May 2001, pages 117.
- TeaBag: A Functional Logic Language Debugger ? Sergio Antoy Stephen Johnson
- A Formal Approach to Reasoning about the E ectiveness of Partial Evaluation
- Overlapping Rules and Logic Variables in Functional Logic Programs
- Department of Computer Science Technical Report
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 4, NO. 20, APRIL 1994, PP. 259274 Using Term Rewriting to Verify Software
- 14th International Conference on Logic Programming (ICLP'94) Leuven, Belgium, July 1997, MIT Press, pages 138{152.
- A Needed Narrowing Strategy Sergio Antoy
- New Functional Logic Design Patterns To appear in the Proceedings of the 20th International Workshop on
- Conditional Narrowing without Conditions Sergio Antoy
- TERMGRAPH 2006 Lazy Context Cloning for NonDeterministic
- Formalization and Abstract Implementation of Rewriting with Nested Rules #
- 22nd International Conference on Logic Programming (ICLP06) Seattle, WA, USA, August 17-20, 2006
- TERMGRAPH 2006 Lazy Context Cloning for Non-Deterministic
- 6th Int'l Conf. on Algebraic and Logic Programming (ALP'97), Southampton, UK, Sept. 1997, Springer LNCS Vol. 1298, pages 16-30.
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 26, NO. 1, JANUARY 2000, PP. 55* Automatically Checking an Implementation
- 4th Fuji International Symposium on Functional and Logic Programming (FLOPS'99), Tsukuba, Japan, Nov. 1999, Springer LNCS Vol. 1722, pages 335350.
- Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARL
- Optimal Non-Deterministic Functional Logic Computations ?
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 4, NO. 20, APRIL 1994, PP. 259{274 Using Term Rewriting to Verify Software
- A Virtual Machine for Functional Logic Computations #
- A Transformation Tool for Functional Logic Program Development
- Set Functions for Functional Logic Programming Sergio Antoy
- On the Correctness of Bubbling Sergio Antoy Daniel W. Brown Su-Hui Chiang
- A Virtual Machine for Functional Logic Computations
- Implementing Functional Logic Languages Using Multiple Threads and Stores
- Formalization and Abstract Implementation of Rewriting with Nested Rules
- TeaBag: A Functional Logic Language Debugger Sergio Antoy Stephen Johnson
- A Monadic Semantics for Core Curry Andrew Tolmach and Sergio Antoy
- Functional Logic Design Patterns Sergio Antoy1
- Demandness in Rewriting and Narrowing Sergio Antoy1
- Constructor-based Conditional Narrowing Sergio Antoy
- International Workshop on Reduction Strategies in Rewriting and Programming, (WRS'01), Utrecht, The Netherlands, May 2001, pages 1-17.
- A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
- Compiling Multi-Paradigm Declarative Programs into Sergio Antoy1
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 26, NO. 1, JANUARY 2000, PP. 5569 Automatically Checking an Implementation
- 4th Fuji International Symposium on Functional and Logic Programming (FLOPS'99), Tsukuba, Japan, Nov. 1999, Springer LNCS Vol. 1722, pages 335-350.
- Optimal Non-Deterministic Functional Logic Computations
- 9th Int'l Symp. on Prog. Lang., Implementations, Logics, and Programs (PLILP'97) Southampton, UK, Sept. 1997, Springer LNCS Vol. 1292, pages 1-15.
- Equational Specifications: Design, Implementation, and Reasoning P. Forcheri,2
- Needed Narrowing in Prolog Sergio Antoy
- Theoretical Computer Science 165:75-95, 1996. A Sequential Reduction Strategy
- Godel with User-defined Evaluable Functions Vision for the Future of Logic Programming: Laying the Foundations of a Modern Successor to Prolog. A
- Algebraic and Logic Programming (ALP'92) Volterra, Italy, Sept. 1992, Springer LNCS Vol. 632, pages 143-157.
- 17th International Conference on Rewriting Techniques and Applications (RTA'0* Seattle, WA, USA, August 12-14, 2006
- A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
- Equational Specifications: Design, Implementation, and Reasoning* S. Antoy,1 P. Forcheri,2 J. Gannon,3 and M. T. Molfino2
- Algebraic and Logic Programming (ALP'92) Volterra, Italy, Sept. 1992, Springer LNCS Vol. 632, pages 143-157.
- An Implementation of Narrowing Strategies Sergio Antoy Michael Hanus
- Journal of the ACM, Volume 47, No. 4 (Jul. 2000) pp. 776-822 A Needed Narrowing Strategy
- 14th International Conference on Logic Programming (ICLP'94) Leuven, Belgium, July 1997, MIT Press, pages 138-152.
- 12th Int. Workshop on Functional and (Constraint) Logic Programming (WFLP03),* * Valencia, Spain _ June 12-13, 2003.
- TERMGRAPH 2006 Lazy Context Cloning for Non-Deterministic
- cOSpringer-Verlag In Proc. of the 3rdSInternationalyWorkshopsontFrontierseofmCombinings, FroCo*
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 4, NO. 20, APRIL 1994, PP. 259* Using Term Rewriting to Verify Software*
- 4th Fuji International Symposium on Functional and Logic Programming (FLOP* Tsukuba, Japan, Nov. 1999, Springer LNCS Vol. 1722, pages 335-350.
- 11th Int. Workshop on Functional and (constraint) Logic Programming (WFLP'02) Grado, Italy _ June 20-22, 2002.
- 13th Int. Workshop on Functional and (Constraint) Logic Programming (WFLP04), * *Aachen, Germany _ June 1, 2004.
- Department of Computer Science Technical Report
- Needed Narrowing in Prolog Sergio Antoy
- 6th Int. Symposium on Functional and Logic Programming (FLOPS'* Aizu, Japan _ Sept. 15-17, 2002.
- Theoretical Computer Science 165:75* *-95, 1996.
- The Pull-Tab Transformation Abdulla Alqaddoumi1
- Department of Computer Science Technical Report
- Testing by Narrowing Extended Abstract
- Evaluation Strategies Functional Logic Programming
- Declarative Programming with Function Patterns Sergio Antoy1
- TERMGRAPH 2006 Lazy Context Cloning for NonDeterministic
- Logic Based Program Synthesis and Transformation: 15th Int'nl Symp., LOPS* London, UK, September 7-9, 2005
- Vision for the Future of Logic Programming: Laying the Foundations of a Modern * *Successor to Prolog. A
- Implementing Functional Logic Languages Using Multiple Threads and Stores
- Testing by Narrowing Extended Abstract
- A Needed Narrowing Strategy Sergio Antoy Rachid Echahed Michael Hanus
- Grelck et al.c(Eds.):OIFLS2004,pLNCSr3474,ipp.n108-125,g* *2005er-Verlag Berlin Heindelberg 2005
- Under consideration for publication in J. Functional Programming 1 F U N C T I O N A L P E A R L
- Optimal Non-Deterministic Functional Logic Computations?
- Formalization and Abstract Implementation of Rewriting with Nested Rules*
- Conditional Narrowing without Conditions Sergio Antoy Bernd Brassel Michael Hanus
- 10th International Workshop on Functional and Logic Prog* and 16th Workshop on Logic Programming (WFLP'01)
- 9th Int'l Symp. on Prog. Lang., Implementations, Logics, and Programs (PLILP'97) Southampton, UK, Sept. 1997, Springer LNCS Vol. 1292, pages 1-15.
- Contracts and Specifications for Functional Logic Programming
- Contracts and Specifications for Functional Logic Programming
- Compiling a Functional Logic Language: The Basic Scheme
