#### Filter Results:

- Full text PDF available (96)

#### Publication Year

1973

2018

- This year (2)
- Last 5 years (23)
- Last 10 years (45)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- María Alpuente, Moreno Falaschi, Germán Vidal
- ACM Trans. Program. Lang. Syst.
- 1998

Languages that integrate functional and logic programming with a complete operational semantics are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction… (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… (More)

- Elvira Albert, Germán Vidal
- New Generation Computing
- 2001

Partial evaluation is a semantics-based program optimization technique which has been investigated within different programming paradigms and applied to a wide variety of languages. Recently, a… (More)

We have recently deened a framework for Narrowing-driven Partial Evaluation (NPE) of functional logic programs. This method is as powerful as partial deduction of logic programs and positive… (More)

- María Alpuente, Moreno Falaschi, Germán Vidal
- ESOP
- 1996

Languages that integrate functional and logic programming with a complete operational semantics are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction… (More)

- 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)

We introduce a new partial inversion technique for first-order functional programs. Our technique is simple, fully automatic, and (when it succeeds) returns a program that belongs to the same class… (More)

- Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal
- LOPSTR
- 2004

In this work, we introduce a profiling scheme for modern functional logic languages covering notions like laziness, sharing, and non-determinism. Firstly, we instrument a natural (big-step) semantics… (More)

- María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
- Fuji International Symposium on Functional and…
- 1999

Needed narrowing is a complete operational principle for modern declarative languages which integrate the best features of (lazy) functional and logic programming. We deene a transformation… (More)

Partial evaluation is a method for program specialization based on fold/unfold transformations [8, 25]. Partial evaluation of pure functional programs uses mainly static values of given data to… (More)