- A Debugging Model for Functional Logic Michael Hanus 1 and Berthold Josephs 2
- An Implementation of Narrowing Strategies Sergio Antoy
- A denotational semantics for needed narrowing Michael Hanus Salvador Lucas y
- Combining Lazy Narrowing and Simpli cation ? Michael Hanus
- J. LOGIC PROGRAMMING 1994:19,20:583{628 1 THE INTEGRATION OF FUNCTIONS INTO
- J. LOGIC PROGRAMMING 1995:24(3):219{245 1 ANALYSIS OF RESIDUATING LOGIC
- Ecient Implementation of Narrowing and Michael Hanus
- Run-Time Profiling of Functional Logic Programs
- Horn Clause Programs with Polymorphic Types: Semantics and Resolution
- A Generic Analysis Environment for Declarative Programs Michael Hanus
- Reporting Failures in Functional Logic Michael Hanus2
- Compiling ER Specifications into Declarative Bernd Brael Michael Hanus Marion Muller
- In Proc. of the 1992 Joint International Conference and Symposium on Logic Programming (Washington),
- Teaching Functional and Logic Programming with a Single Computation Model
- In Proc. of the Tenth International Conference on Logic Programming, Budapest, June 1993, pp. 83{99, MIT Press
- Nondeterminism Analysis of Functional Logic Bernd Brael and Michael Hanus
- Putting Declarative Programming into the Web: Translating Curry to JavaScript
- To appear in Theory and Practice of Logic Programming (TPLP) 1 An ER-based Framework for
- Curry: A Truly Functional Logic Language Michael Hanus Herbert Kuchen
- Higher-Order Narrowing with De nitional Trees Michael Hanus 1 and Christian Prehofer 2
- Logic Programming with Type Speci cations
- Type-Oriented Construction of Web User Interfaces Michael Hanus
- In Proc. of the Twelfth International Conference on Logic Programming, Tokyo, June 1995, MIT Press, pp. 665{679
- Specialization of Inductively Sequential Functional Logic Programs Maria Alpuente Michael Hanus Salvador Lucas German Vidal
- New Functional Logic Design Patterns Sergio Antoy1
- Lazy and Enforceable Assertions for Functional Logic Programs
- Transforming Functional Logic Programs into Monadic Functional Programs
- Lazy and Faithful Assertions for Functional Logic Programs
- Transforming Functional Logic Programs into Monadic Functional Programs
- Declarative Programming of User Interfaces Michael Hanus Christof Klu
- Lazy Call-By-Value Evaluation Bernd Brael Sebastian Fischer
- Multi-paradigm Declarative Languages Michael Hanus
- Overlapping Rules and Logic Variables in Functional Logic Programs
- Adding Constraint Handling Rules to Curry Extended Abstract
- Declarative Programming with Function Patterns Sergio Antoy1
- Encapsulating Non-Determinism in Functional Logic Computations
- A Semantics for Tracing Declarative Multi-Paradigm Programs
- Observing Functional Logic Computations Bernd Brael1
- Electronic Notes in Theoretical Computer Science 86 No. 3 (2003) URL: http://www.elsevier.nl/locate/entcs/volume86.html 17 pages
- An Open System to Support Web-based Learning
- Functional Logic Design Patterns Sergio Antoy1
- A Documentation Tool for Declarative Programs Michael Hanus
- A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages
- An Integrated Development Environment for Declarative Multi-Paradigm Programming
- Electronic Notes in Theoretical Computer Science 57 (2001) URL: http://www.elsevier.nl/locate/entcs/volume57.html 8 pages
- A Needed Narrowing Strategy Preliminary version. Final version in JACM 47(4):776-822, 2000
- A Functional Logic Programming Approach to Graphical User Interfaces
- J. Functional Programming 1 (1): 1000, January 1999. Printed in the United Kingdom c 1999 Cambridge University Press
- In Proc. of the Fourteenth International Conference on Logic Programming, Leuven (Belgium), July 1997, MIT Press, pp. 138-152
- Mode Analysis of Functional Logic Programs ? Michael Hanus Frank Zartmann
- A Uni ed Computation Model for Declarative Programming
- KiCS2: A New Compiler from Curry to Haskell Bernd Brael Michael Hanus Bjorn Peemoller Fabian Reck
- Incremental Rewriting in Narrowing Derivations Michael Hanus
- A Needed Narrowing Strategy In Proc. 21st ACM Symposium on Principles of Programming Languages, pp. 268{279, Portland, 1994
- A Partial Evaluation Framework for Curry Elvira Albert1
- Improving Control of Logic Programs Functional Logic Languages
- A Residualizing Semantics for the Partial Evaluation of Functional Logic Programs
- Under consideration for publication in Theory and Practice of Logic Programming 1 Specialization of Functional Logic Programs
- A Unified Computation Model for Functional and Logic Programming Michael Hanus
- High-Level Database Programming in Curry Bernd Brael Michael Hanus Marion Muller
- A Functional and Logic Language with Polymorphic Types (Extended Abstract)
- Polymorphic Higher-Order Programming Michael Hanus
- Dynamic Predicates in Functional Logic Programs
- Functional Logic Programming Sergio Antoy
- An Abstract Machine for Curry and its Concurrent Implementation in Java
- A Virtual Machine for Functional Logic Computations
- Conditional Narrowing without Conditions Sergio Antoy
- Contracts and Specifications for Functional Logic Programming
- Parametric Order-Sorted Types in Logic Programming Michael Hanus
- Ecient Translation of Lazy Functional Logic Programs into Prolog
- Set Functions for Functional Logic Programming Sergio Antoy
- In Proc. 1st International Static Analysis Symposium, Namur (Belgium), pp. 26-42, Springer LNCS 864, 1994
- In Proc. 5th International Conference on Compiler Construction Edinburgh, April 1994, Springer LNCS 786, pp. 68-82
- In Proc. TAPSOFT'91, Brighton, April 1991, Springer LNCS 494, pp. 181-* Parametric Order-Sorted Types in Logic Programming
- In Proc. Int. Conference on Algebraic and Logic Programming 199* pp. 70-85, Springer LNCS 463
- J. LOGIC PROGRAMMING 1994:19,20:583-628 * THE INTEGRATION OF FUNCTIONS INTO
- In Proc. Seventh Intern. Conference on Rewriting Techniques and Applications (RTA'96), New Brunswick (USA), Springer LNCS 1103, pp. 138-152, 1996
- Preliminary version. Final version in Journal of Computer Languages (Els* Vol. 23, No. 2-4, pp. 61-85, 1997
- In Types in Logic Programming (F. Pfenning, ed.), pp. 91-140, MIT Press, 1992
- J. LOGIC PROGRAMMING 1995:24(3):219-245 * ANALYSIS OF RESIDUATING LOGIC
- Lazy Uni cation with Simpli cation Michael Hanus
- Compile-Time Analysis of Nonlinear Constraints in CLP(R) Michael Hanus
- Operational Semantics for Declarative Multi-Paradigm Languages
- Integration of Functional and Logic Programming Michael Hanus Herbert Kuchen
- Compiling Logic Programs with Equality Michael Hanus
- Logic Programs with Equational Type Speci cations (Extended Abstract)
- Lazy Narrowing with Simpli cation Michael Hanus
- Formal Speci cation of a Prolog Compiler Michael Hanus
- Call Pattern Analysis for Functional Logic Programs Michael Hanus
- In Proc. TAPSOFT'89, Barcelona, March 1989, Springer LNCS 352, pp. 22* Horn Clause Programs with Polymorphic Types
- In ACM Computing Surveys, Vol. 28, No. 2, 1996, pp. 306-308 Integration of Functional and Logic Programming
- In Proc. of the 1997 Joint Conference on Declarative Programming (APPIA-GULP-PRODE'97), pp. 9-24, Grado (Italy), 1997
- In Proc. of the Tenth International Conference on Logic Programming, Budapest, June 1993, pp. 83-99, MIT Press
- In Proc. Fifth International Workshop on Logic Program Synthesis and Transformation (LOPSTR'95), Utrecht, Springer LNCS 1048, pp. 252-266, 1995
- In Proc. Sixth International Symposium on Programming Language Implementation and Logic Programming, Madrid (Spain),
- In Proc. of the Twelfth International Conference on Logic Programming, Tokyo, June 1995, MIT Press, pp. 665-679
- In Proc. Int. Symposium on Design and Implementation of Symbolic Computa* *tion Systems,
- In Proc. Fourth International Symposium on Programming Language Implementation and Logic Programming, pp. 1-23, Springer LNCS 631, 1992
- In New Generation Computing, Vol. 13, No. 2, pp. 155-186, 1995 Compile-Time Analysis of Nonlinear Constraints in CLP(R)*
- In Proc. of the 6th Int. Conf. on Logic Programming (Lisboa), June 1989, pp. 382-397, MIT Press
- In Proc. Ninth International Symposium on Programming Languages, Implementations, Logics, and Programs (PLILP'97), Southampton, UK.
- in Proc. International Workshop on Processing Declarative Knowledge, pp. 344-365, Springer LNAI 567, 1991
- In Proc. Int. Workshop on Programming Language Implementation and Logic P* *rogramming,
- In Proc. of the 1996 Joint Conference on Declarative Programming (APPIA-GULP-PRODE'96), pp. 259-270, San Sebastian, 1996
- J. LOGIC PROGRAMMING 1994:19,20:583628 1 THE INTEGRATION OF FUNCTIONS INTO
- An ER-based Framework for Declarative Web Programming
- Constructing a Bidirectional Transformation between BPMN and BPEL
- An Operational Semantics for Declarative Multi-Paradigm Languages
- Electronic Notes in Theoretical Computer Science 76 (2002) URL: http://www.elsevier.nl/locate/entcs/volume76.html 19 pages
- Towards the Global Optimization of Functional Logic Programs ?
- CurryBrowser: A Generic Analysis Environment for Curry Programs
- In Proc. ILPS'95 Workshop on Visions for the Future of Logic Programmi* Portland (USA), December 1995, pp. 95-107
- In Proc. 21st ACM Symposium on Principles of Programming Languages, pp. 26* *8-279, Portland, 1994
- In Proc. ILPS'97 Workshop on Parallelism and Implementation Technology for (Con* *straint) Logic
- In Proc. of the Fourteenth International Conference on Logic Programming, Leuven (Belgium), July 1997, MIT Press, pp. 138-152
- In Proc. 5th European Symposium on Programming Edinburgh, April 1994, Springer LNCS 788, pp. 272-286
- In Proc. Int. Workshop on Programming Language Implementation and Logic P* *rogramming,
- In Proc. Fifth International Symposium on Programming Language Implementation and Logic Programming, Tallinn (Estonia), pp. 28-43, Springer LNCS 714, 1993
- In Proc. of the 1992 Joint International Conference and Symposium on Logic Programming (Washington),
- In Proc. 3rd International Conference on Algebraic and Logic Programming, pp. 228-243, Springer LNCS 632, 1992
- Declarative Programming of User Interfaces (Extended Abstract)
- Distributed Programming in a Multi-Paradigm Declarative Language
- Declarative Processing of Semistructured Web Michael Hanus
- Implementing Equational Constraints in a Functional Language
- Contracts and Specifications for Functional Logic Programming
