Sciweavers

96 search results - page 20 / 20
» Standardized Virtual Reality, Are We There Yet
Sort
View
POPL
1999
ACM
13 years 10 months ago
Typed Memory Management in a Calculus of Capabilities
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...
Karl Crary, David Walker, J. Gregory Morrisett