11 search results - page 3 / 3 » Polarized Subtyping for Sized Types |
ESOP
2001
Springer
13 years 11 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...