Sciweavers

57 search results - page 1 / 12
» Abstraction carrying code and resource-awareness
Sort
View
NGC
2008
Springer
119views Communications» more  NGC 2008»
13 years 9 months ago
Abstraction-Carrying Code: a Model for Mobile Code Safety
ion-Carrying Code: a Model for Mobile Code Safety Elvira Albert Germ
Elvira Albert, Germán Puebla, Manuel V. Her...
CPP
2011
99views more  CPP 2011»
12 years 9 months ago
Proof-Carrying Code in a Session-Typed Process Calculus
Abstract. Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dep...
Frank Pfenning, Luís Caires, Bernardo Tonin...
LPAR
2004
Springer
14 years 2 months ago
Abstraction-Carrying Code
ion-Carrying Code Elvira Albert1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3 1 DSIP, Universidad Complutense Madrid 2 Facultad de Inform´atica, Technical University of Madrid ...
Elvira Albert, Germán Puebla, Manuel V. Her...
PPDP
2005
Springer
14 years 2 months ago
Abstraction carrying code and resource-awareness
Manuel V. Hermenegildo, Elvira Albert, Pedro L&oac...
CORR
2007
Springer
94views Education» more  CORR 2007»
13 years 9 months ago
Some Issues on Incremental Abstraction-Carrying Code
Elvira Albert, Puri Arenas, Germán Puebla