Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 18:10, 23 September 2019

Search the publication database

  . Return

Your search returned the following 19 documents:

  1. Michael Hanus
    Analysis of Residuating Logic Programs
    Journal of Logic Programming 24 (3): 219-245, 1995
  2. Michael Hanus
    Compile-Time Analysis of Nonlinear Constraints in CLP(R)
    New Generation Computing 13 (2): 155-186, 1995
  3. Michael Hanus
    On Extra Variables in (Equational) Logic Programming
    In: Proceedings of the Twelfth International Conference on Logic Programming, Kanagawa, Japan, June 13-17, 1995, 665-679
  4. Sergio Antoy, Rachid Echahed, and Michael Hanus
    A Needed Narrowing Strategy
    In: Proceedings of the 21st ACM Symposium on Principles of Programming Languages (POPL'94), Portland, USA, 1994, 1994, 268-279. Note: Extended version available as Research Report MPI-I-93-243, Max-Planck-Institut für Informatik, Saarbrücken, Germany
  5. Michael Hanus
    Combining Lazy Narrowing and Simplification
    In: Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP'94), Madrid, Spain, September 14-16, 1994, 1994, 370-384
  6. Michael Hanus
    Lazy Unification with Simplification
    In: Proceedings of the 5th European Symposium on Programming Languages and Systems (ESOP'94), Edinburgh, UK, April 11-13, 1994, 1994, 272-286
  7. Michael Hanus and Frank Zartmann
    Mode Analysis of Functional Logic Programs
    In: Proceedings of the 1st International Static Analysis Symposium (SAS'94), Namur, Belgium, September 28-30, 1994, 1994, 26-42
  8. Michael Hanus
    The Integration of Functions into Logic Programming: From Theory to Practice
    Journal of Logic Programming 19 & 20: 583-628, 1994. Note: Also available as Research Report MPI-I-94-201, Max-Planck-Institut für Informatik, Saarbrücken
  9. Michael Hanus
    Thema der Antrittsvorlesung: Deklarative Programmierparadigmen und ihre Integration
    Habilitation thesis, Universität des Saarlandes, 1994
  10. Michael Hanus and Berthold Josephs
    A Debugging Model for Functional Logic Programs
    In: Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming (PLILP-93), Tallinn, Estonia, August, 25-27, 1993, 28-43. Note: Also available as Research Report MPI-I-93-222
  11. Michael Hanus
    Analysis of Nonlinear Constraints in CLP($\calR$)
    In: Proceedings of the 10th International Conference on Logic Programming (ICLP '93), Budapest, Hungary, June 1993, 1993, 83-99. Note: Extended version to appear in New Generation Computing
  12. Michael Hanus
    Towards the Global Optimization of Functional Logic Programs
    In: Proc.~Workshop on Global Compilation, International Logic Programming Symposium, Vancouver, Canada, 1993, 1993, 83-97
  13. Michael Hanus
    Improving Control of Logic Programs by Using Functional Logic Languages
    In: Proceedings 4th International Symposium on Programming Language Implementation and Logic Programming, Leuven, Belgium, 1992, 1992, 1-23
  14. Michael Hanus
    Incremental Rewriting in Narrowing Derivations
    In: Proceedings of the 3rd International Conference on Algebraic and Logic Programming (ALP-92), Volterra, Italy, September, 2-4, 1992, 228-243
  15. Michael Hanus
    Logic Programming with Type Specifications
    In: Types in Logic Programming, 1992, 91-140
  16. Michael Hanus
    On the Completeness of Residuation
    In: Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming, Washington, D.C., 1992, 192-206. Note: Extended version to appear in Journal of Logic Programming
  17. Michael Hanus
    Efficient Implementation of Narrowing and Rewriting
    In: Proc. Intern. Workshop on Processing Declarative Knowledge, Kaiserslautern, Germany, 1991, 344-365
  18. Michael Hanus
    Horn Clause Programs with Polymorphic Types: Semantics and Resolution
    Theoretical Computer Science 89: 63-106, 1991
  19. Michael Hanus
    Parametric Order-Sorted Types in Logic Programming
    In: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT-91), Brighton, UK, April, 8-12, 1991, 181-200