33 citations · 33 across the 3 of their papers we have counts for
3 papers
cs.PL2010
Certificate size reduction in Abstraction-Carrying Code
Elvira Albert, Puri Arenas, Germán Puebla +1
Carrying Code (ACC) has recently been proposed as a framework for mobile code safety in which the code supplier provides a program together with an abstraction (or abstract model o…
cs.PL2010★ 33 cited
Test Case Generation for Object-Oriented Imperative Languages in CLP
Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test cases which are applied to a…
cs.PL2009
Efficient Local Unfolding with Ancestor Stacks
G. Puebla, E. Albert, M. Hermenegildo
The most successful unfolding rules used nowadays in the partial evaluation of logic programs are based on well quasi orders (wqo) applied over (covering) ancestors, i.e., a subseq…