MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Michael Hanus – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

76 documents found, showing 1 through 10. Next 10 →

ATOM

A Simple Operational Model for Concurrent Functional Logic Programming
by Michael Hanus
… Programming Michael Hanus Informatik II, RWTH Aachen D-52056 Aachen, Germany hanus…
Add To MetaCart

Distributed Programming in a Multi-Paradigm Declarative Language
by Michael Hanus — 1999 — In Proc. of the International Conference on Principles and Practice of Declarative Programming (PPDP'99
…Distributed Programming in a Multi-Paradigm Declarative Language # Michael Hanus Informatik II…
Cited by 41 (20 self) – Add To MetaCart

Combining Lazy Narrowing and Simplification
by Michael Hanus — 1994 — In Proc. of the 6th International Symposium on Programming Language Implementation and Logic Programming
…Combining Lazy Narrowing and Simplification ? Michael Hanus Max-Planck-Institut fur Informatik Im…
Cited by 14 (5 self) – Add To MetaCart

Reduction Strategies for Declarative Programming
by Michael Hanus — 2001 — Electronic Notes in Theoretical Computer Science
…://www.elsevier.nl/locate/entcs/volume57.html 8 pages Reduction Strategies for Declarative Programming Michael Hanus 1 Institut f…
Cited by 2 (2 self) – Add To MetaCart

Reporting Failures in Functional Logic Programs
by Michael Hanus — 2006 — In Proc. of the 15th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2006
…Abstract WFLP 2006 Reporting Failures in Functional Logic Programs 1 Michael Hanus 2 Institut für…
Cited by 1 (0 self) – Add To MetaCart

CurryDoc: A Documentation Tool for Declarative Programs
by Michael Hanus — 2002 — University of Udine
… Programs Michael Hanus ⋆ Institut für Informatik, Christian-Albrechts-Universität Kiel D-24098 Kiel…
Cited by 3 (3 self) – Add To MetaCart

High-Level Server Side Web Scripting in Curry
by Michael Hanus — 2001 — In Proc. of the Third International Symposium on Practical Aspects of Declarative Languages (PADL’01
…High-Level Server Side Web Scripting in Curry Michael Hanus ? Institut fur Informatik, Christian…
Cited by 40 (15 self) – Add To MetaCart

Efficient Implementation of Narrowing and Rewriting
by Michael Hanus — 1991 — In Proc. Int. Workshop on Processing Declarative Knowledge
… Efficient Implementation of Narrowing and Rewriting Michael Hanus \Lambda Technische Fakult…
Cited by 18 (8 self) – Add To MetaCart

Improving control of logic programs by using functional logic languages
by Michael Hanus — 1992 — In Proc. of the 4th International Symposium on Programming Language Implementation and Logic Programming
… Improving Control of Logic Programs by Using Functional Logic Languages Michael Hanus Max…
Cited by 27 (15 self) – Add To MetaCart

Towards the Global Optimization of Functional Logic Programs
by Michael Hanus — 1994 — In Proc. 5th International Conference on Compiler Construction. LNCS 786:68-82
…Towards the Global Optimization of Functional Logic Programs ? Michael Hanus Max…
Cited by 6 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB