140
click to vote
ESOP
15 years 10 months ago
2001 Springer 
Security-typed languages enforce confidentiality or integrity policies by type checking. This paper investigates continuation-passing style (CPS) translation of such languages as ...
154
click to vote
ESOP
15 years 10 months ago
2001 Springer 
Abstract. Languages for intensional type analysis permit ad-hoc polymorphism, or run-time analysis of types. However, such languages require complex, specialized constructs to supp...
163
click to vote
ESOP
15 years 10 months ago
2001 Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
149
click to vote
ESOP
15 years 10 months ago
2001 Springer
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...
|
Programming Languages