#### Filter Results:

- Full text PDF available (134)

#### Publication Year

1985

2017

- This year (4)
- Last 5 years (30)
- Last 10 years (57)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Sergio Antoy, Rachid Echahed, Michael Hanus
- J. ACM
- 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, extends the Huet and Le´vy notion of a needed reduction step. We define a strategy, based on this notion, that computes only needed narrowing steps. Our… (More)

- Michael Hanus
- J. Log. Program.
- 1994

ions [26, 27, 112, 117, 118] or logical arrays [72].

- Michael Hanus
- POPL
- 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 logic languages (residuation and narrowing). This computation model combines efficient evaluation principles of functional languages with the problem-solving… (More)

- Michael Hanus, Christian Prehofer
- RTA
- 1996

Functional logic languages with a sound and complete operational semantics are mainly based on an inference rule called narrowing. Narrowing extends functional evaluation by goal solving capabilities as in logic programming. Due to the huge search space of simple narrowing, steadily improved narrowing strategies have been developed in the past. Needed… (More)

- Michael Hanus
- ICLP
- 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 formalism to express such properties, one can distinguish different classes of declarative languages, like functional, logic, or constraint programming… (More)

Functional and logic programming are the most important declarative programming paradigms, and interest in combining them has grown over the last decade. However, integrated functional logic languages are currently not widely used. This is due to the fact that the operational principles are not well understood and many diierent evaluation strategies have… (More)

- Michael Hanus
- Theor. Comput. Sci.
- 1989

- Sven Efftinge, Moritz Eysholdt, +4 authors Michael Hanus
- GPCE
- 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 service specifications and entities. Because behavioral aspects are significantly more complicated to implement, they are often delegated to general-purpose… (More)

- Sergio Antoy, Michael Hanus
- FroCoS
- 2000

This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of Curry, is obtained by transforming Curry programs into Prolog programs. Contrary to previous transformations of functional logic programs into Prolog, our implementation includes… (More)

- Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
- J. Symb. Comput.
- 2005

Declarative multi-paradigm languages combine the most important features of functional, logic and concurrent programming. The computational model of such integrated languages is usually based on a combination of two different operational principles: narrowing and residuation. This work is motivated by the fact that a precise definition of an operational… (More)