Author pages are created from data sourced from our academic publisher partnerships and public sources.

- Publications
- Influence

A needed narrowing strategy

- S. Antoy, R. Echahed, M. Hanus
- Computer Science
- POPL '94
- 1 February 1994

Narrowing is the operational principle of languages that integrate functional and logic programming. We propose a notion of a needed narrowing step that, for inductively sequential rewrite systems,… Expand

The Integration of Functions into Logic Programming: From Theory to Practice

- M. Hanus
- Computer Science
- J. Log. Program.
- 1 May 1994

Abstract Functional and logic programming are the most important declarative programming paradigms, and interest in combining them has grown over the last decade. Early research concentrated on the… Expand

Curry: an integrated functional logic language (version 0

- M. Hanus
- Mathematics
- 2003

ion: A[x/τ ] ` e :: τ ′ A ` \x->e :: τ → τ ′ if τ is a type expression Existential: A[x/τ ] ` e :: τ ′ A ` let x free in e :: τ ′ if τ is a type expression Figure 1: Typing rules for Curry programs… Expand

- 249
- 29

Xbase: implementing domain-specific languages for Java

- Sven Efftinge, Moritz Eysholdt, +4 authors M. Hanus
- Computer Science
- GPCE '12
- 26 September 2012

Xtext is an open-source framework for implementing external, textual domain-specific languages (DSLs). So far, most DSLs implemented with Xtext and similar tools focus on structural aspects such as… Expand

Curry: An Integrated Functional Logic Language

- M. Hanus, S. Antoy, +4 authors Frank Steiner
- Mathematics
- 2003

ion: A[x/τ ] ` e :: τ ′ A ` \x->e :: τ → τ ′ if τ is a type expression Existential: A[x/τ ] ` e :: Success A ` let x free in e :: Success if τ is a type expression Conditional: A ` e1 :: Bool A ` e2… Expand

- 240
- 14

A unified computation model for functional and logic programming

- M. Hanus
- Computer Science
- POPL '97
- 1997

We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and integrated functional… Expand

Higher-Order Narrowing with Definitional Trees

- M. Hanus, C. Prehofer
- Computer Science
- J. Funct. Program.
- 27 July 1996

Functional logic languages with a sound and complete operational semantics are mainly based on narrowing. Due to the huge search space of simple narrowing, steadily improved narrowing strategies have… Expand

Multi-paradigm Declarative Languages

- M. Hanus
- Computer Science
- ICLP
- 8 September 2007

Declarative programming languages advocate a programming style expressing the properties of problems and their solutions rather than how to compute individual solutions. Depending on the underlying… Expand

Horn Clause Programs with Polymorphic Types: Semantics and Resolution

- M. Hanus
- Computer Science
- Theor. Comput. Sci.
- 21 October 1991

This paper presents a Horn clause logic where functions and predicates are declared with polymorphic types. Types are parameterized with type variables. This leads to an ML-like polymorphic type… Expand