#### Filter Results:

- Full text PDF available (70)

#### Publication Year

1983

2018

- This year (3)
- Last 5 years (15)
- Last 10 years (27)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Sergio Antoy, Rachid Echahed, Michael Hanus
- POPL
- 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,… (More)

- Sergio Antoy
- ALP
- 1992

Rewriting is a computational paradigm that specifies the actions, but not the control. We introduce a hierarchical structure representing, at a high level of abstraction, a form of control. Its… (More)

- Sergio Antoy
- ALP/HOA
- 1997

We show that non-determinism simplifies coding certain problems into programs. We define a non-confluent, but well-behaved class of rewrite systems for supporting non-deterministic computations in… (More)

- Sergio Antoy, Richard G. Hamlet
- IEEE Trans. Software Eng.
- 2000

ÐWe propose checking the execution of an abstract data type's imperative implementation against its algebraic specification. An explicit mapping from implementation states to abstract values is added… (More)

- Sergio Antoy, Michael Hanus
- ICLP
- 2006

Functional logic languages extend purely functional languages with two features: operations defined by overlapping rules and logic variables in both defining rules and expressions to evaluate. In… (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… (More)

- Sergio Antoy
- PPDP
- 2001

We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound and complete for the… (More)

- Sergio Antoy, Michael Hanus
- Commun. ACM
- 2010

Combining the paradigm features of both logic and functional programming makes for some powerful implementations.

- Germán Vidal, Sergio Antoy, +12 authors Alicia Villanueva
- 2003

Correction of Functional Programs . . . . . . . . . . . . . . . . . . . . . . . . . . 7<lb>M. Alpuente (U.P. Valencia), D. Ballis (U. Udine), S. Escobar (U.P.<lb>Valencia), M. Falaschi (U. Udine),… (More)

- Sergio Antoy, Bernd Brassel, Michael Hanus
- PPDP
- 2003

We present a new evaluation strategy for functional logic programs described by weakly orthogonal conditional term rewriting systems. Our notion of weakly orthogonal conditional rewrite system… (More)