researchers with a paper here
collaborating institutions

2 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.AI2010

Introduction to the 26th International Conference on Logic Programming Special Issue

Manuel Hermenegildo, Torsten Schaub

This is the preface to the 26th International Conference on Logic Programming Special Issue