Searching for authors named Moreno Falaschi – sorted by Relevance.
27 documents found, showing 1 through 10.
Next 10 →
-
Using PE to Automate Program Composition
- …Using PE to Automate Program Composition Mar'ia Alpuente 1 , Moreno Falaschi 2 , Gin'es Moreno…
- Add To MetaCart
-
Transformation-based Strategies for Lazy Functional Logic Programs
- … Falaschi 2 Gin'es Moreno 3 Germ'an Vidal 1 1 DSIC, UPV, Camino de Vera s/n, 46020 Valencia, Spain…
- Add To MetaCart
-
Safe Folding/Unfolding with Conditional Narrowing
- …Safe Folding/Unfolding with Conditional Narrowing ⋆ M. Alpuente 1 and M. Falaschi 2 and G. Moreno…
- Cited by 9 (8 self) – Add To MetaCart
-
A Transformation System for Lazy Functional Logic Programs
- …A Transformation System for Lazy Functional Logic Programs ? Mar'ia Alpuente 1 , Moreno Falaschi…
- Cited by 17 (12 self) – Add To MetaCart
-
Rules + Strategies for Transforming Lazy Functional Logic Programs
- … Alpuente a Moreno Falaschi b Ginés Moreno c Germán Vidal a a DSIC, UPV, Camino de Vera s/n, 46022 Valencia…
- Cited by 2 (2 self) – Add To MetaCart
-
An Automatic Composition Algorithm for Functional Logic Programs
- … Falaschi 2 , Gin'es Moreno 3 , and Germ'an Vidal 1 1 DSIC, UPV, Camino de Vera s/n, 46022 Valencia…
- Cited by 2 (2 self) – Add To MetaCart
-
INDY User's Manual (v1.8)
- …, Spain fealbert,alpuente,gvidalg@(email omitted); Moreno Falaschi Dipartimento di Matematica e Informatica…
- Add To MetaCart
-
Strictness Analysis for Concurrent Logic Programs
- …Strictness analysis for concurrent logic programs Moreno Falaschi Patrick Hicks y William…
- Add To MetaCart
-
Buggy User's Manual
- …@(email omitted); Moreno Falaschi Dipartimento di Matematica e Informatica, Universita di Udine Via delle Scienze 206…
- Add To MetaCart
-
A Compositional Semantic Basis for the Analysis of Equational Horn Programs
- … 1 2 1 2 1 2 1 2 1 2 1 2 Abstract Keywords: Mar'ia Alpuente Moreno Falaschi Germ'an Vidal September…
- Cited by 6 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
