14 citations · 15 across the 3 of their papers we have counts for
3 papers
cs.PL2009★ 1 cited
18th Workshop on Logic-based methods in Programming Environments (WLPE 2008)
Puri Arenas, Damiano Zanardini
This volume contains the papers presented at WLPE 2008: the 18th Workshop on Logic-based Methods in Programming Environments held on 12th December, 2008 in Udine, Italy. It was hel…
cs.PL2007
Some Issues on Incremental Abstraction-Carrying Code
Elvira Albert, Puri Arenas, German Puebla
Abstraction-Carrying Code (ACC) has recently been proposed as a framework for proof-carrying code (PCC) in which the code supplier provides a program together with an abstraction (…
cs.PL2004★ 14 cited
A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types
Puri Arenas-Sanchez, Mario Rodriguez-Artalejo
We propose a general framework for first-order functional logic programming, supporting lazy functions, non-determinism and polymorphic datatypes whose data constructors obey a set…