57 search results - page 1 / 12 » Abstraction carrying code and resource-awareness |
NGC
2008
Springer
13 years 9 months ago
2008
Springer
ion-Carrying Code: a Model for Mobile Code Safety Elvira Albert Germ
CPP
2011
12 years 9 months ago
2011
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...
LPAR
2004
Springer
14 years 2 months ago
2004
Springer
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 ...
PPDP
2005
Springer
14 years 2 months ago
2005
Springer
CORR
2007
Springer
13 years 9 months ago
2007
Springer