Puri Arenas-Sánchez

14 papers B 1C 1Journal 3Unranked 9
YearRankTypeTitle / Venue / Authors
2006 B conf
Reduced Certificates for Abstraction-Carrying Code.
ICLP
Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo
2004 J jnl
A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types
CoRR
Puri Arenas-Sánchez, Mario Rodríguez-Artalejo
2001 J jnl
A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types.
Theory Pract. Log. Program.
Puri Arenas-Sánchez, Mario Rodríguez-Artalejo
1999 C conf
Functional Plus Logic Programming with Built-In and Symbolic Constraints.
PPDP
Puri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo
1998 — conf
Embedding Multiset Constraints into a Lazy Functional Logic Language.
PLILP/ALP
Puri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo
1997 — conf
A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types.
ILPS
Puri Arenas-Sánchez, Mario Rodríguez-Artalejo
1997 J jnl
A Minimality Study for Set Unification.
J. Funct. Log. Program.
Puri Arenas-Sánchez, Agostino Dovier
1997 — conf
A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types.
TAPSOFT
Puri Arenas-Sánchez, Mario Rodríguez-Artalejo
1996 — conf
Real Constraints within a Functional Logic Language.
APPIA-GULP-PRODE
Puri Arenas-Sánchez, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Eva Ullán
1995 — conf
A Debugging Model for Lazy Narrowing
PLILP
Puri Arenas-Sánchez, Ana Gil-Luezas
1995 — conf
Minimal Set Unification
PLILP
Puri Arenas-Sánchez, Agostino Dovier
1995 — conf
Minimal Set Unification.
GULP-PRODE
Puri Arenas-Sánchez, Agostino Dovier
1994 — conf
A Debugging Model for Lazy Functional Logic Languages.
GULP-PRODE (2)
Puri Arenas-Sánchez, Ana Gil-Luezas
1994 — conf
Combining Lazy Narrowing with Disequality Constraints.
PLILP
Puri Arenas-Sánchez, Ana Gil-Luezas, Francisco Javier López-Fraguas