Michael Hanus

Index of Technical Reports

Adding Plural Arguments to Curry Programs
Technical Report 1304, Christian-Albrechts-Universität Kiel, 2013
Available: PDF BibTeX-Entry Implementation and Benchmarks

Improving Lazy Non-Deterministic Computations by Demand Analysis
Technical Report 1209, Christian-Albrechts-Universität Kiel, 2012
Available: PDF BibTeX-Entry

Declarative Processing of Semistructured Web Data
Technical Report 1103, Christian-Albrechts-Universität Kiel, 2011
Available: PDF BibTeX-Entry Source text (literate Curry program)

Call Pattern Analysis for Functional Logic Programs
Technical Report 0803, Christian-Albrechts-Universität Kiel, 2008
Available: Report and Implementation

Overlapping Rules and Logic Variables in Functional Logic Programs
(with Sergio Antoy)
Technical Report, Christian-Albrechts-Universität Kiel, 2005
Available: PDF

Nondeterminism Analysis of Functional Logic Programs
(with Bernd Braßel)
Technical Report, Christian-Albrechts-Universität Kiel, 2005
Available: PDF

Functional and Declarative Programming in Education (FDPE 2002)
(with Shriram Krishnamurthi and Simon Thompson)
Technical Report 0210, Christian-Albrechts-Universität Kiel, 2002
Available: Contents

Functional and (Constraint) Logic Programming (WFLP 2001)
Technical Report 2017, Christian-Albrechts-Universität Kiel, 2001
Available: Contents

An Evaluation Semantics for Narrowing-Based Functional Logic Languages
(with Salvador Lucas)
Technical Report 2000, Christian-Albrechts-Universität Kiel, 2000
Available: Abstract PDF BibTeX-Entry

Specialization of Functional Logic Programs Based on Needed Narrowing
(with María Alpuente, Salvador Lucas, Germán Vidal)
Technical Report 99-4, RWTH Aachen, 1999
Available: Abstract PDF BibTeX-Entry

Demand-driven Search in Functional Logic Programs
(with Pierre Réty)
Research Report RR-LIFO-98-08, Université d'Orléans, 1998
Available: Abstract PDF BibTeX-Entry

Higher-Order Narrowing with Definitional Trees
(with Christian Prehofer)
Technical Report 96-2, RWTH Aachen, 1996
Available: Abstract PDF BibTeX-Entry

A Parallel Narrowing Strategy
(with Sergio Antoy and Rachid Echahed)
Technical Report TR 96-1, Portland State University, 1996
Available: Abstract PDF BibTeX-Entry
Note: An implementation of this strategy is available here.

On Extra Variables in (Equational) Logic Programming
Technical Report MPI-I-94-246, Max-Planck-Institut fuer Informatik
Available: Abstract DVI BibTeX-Entry

Integration of Declarative Paradigms -- Proceedings of the ICLP'94 Post-Conference Workshop
(with Hassan Aït-Kaci and Juan Jose Moreno Navarro)
Technical Report MPI-I-94-224, Max-Planck-Institut für Informatik
Available: Abstract and Contents BibTeX-Entry

The Integration of Functions into Logic Programming: A Survey
Technical Report MPI-I-94-201, Max-Planck-Institut für Informatik
Available: Abstract PDF BibTeX-Entry

A Needed Narrowing Strategy
(with Sergio Antoy and Rachid Echahed)
Technical Report MPI-I-93-243, Max-Planck-Institut für Informatik
Available: Abstract DVI BibTeX-Entry

A Debugging Model for Functional Logic Programs
(with Berthold Josephs)
Technical Report MPI-I-93-222, Max-Planck-Institut für Informatik
Available: Abstract DVI BibTeX-Entry

Lazy Unification with Inductive Simplification
Technical Report MPI-I-93-215, Max-Planck-Institut für Informatik
Available: Abstract DVI BibTeX-Entry

Analysis of Nonlinear Constraints in CLP(R)
Technical Report MPI-I-92-251, Max-Planck-Institut für Informatik
Available: Abstract DVI BibTeX-Entry

On the Completeness of Residuation
Technical Report MPI-I-92-217, Max-Planck-Institut für Informatik
Available: Abstract DVI BibTeX-Entry