Puri Arenas-Sánchez

Publication Activity (10 Years)

Years Active: 1994-2006
Publications (10 Years): 0

Publications

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