Cornell University / David Walker Cornell University Karl Crary Carnegie Mellon University Greg Morrisett Cornell University / /
IndustryTerm
region-based type systems / unverified software / language technology / secure extensible systems / capability systems / region inference algorithms / systems software / region-based memory management / region-based memory management systems / extensible operating systems / web browsers / memory management / language technologies / region inference algorithm / /
Organization
Carnegie Mellon University / National Science Foundation / Cornell University / /
Person
Greg Morrisett / /
Position
standard tracing garbage collector / straight-forward / trusted garbage collector / garbage collector / first author was / /
ProgrammingLanguage
Assembly Language / Java / Modula-3 / /
Technology
language technologies / Virtual Machine / language technology / known region inference algorithms / Dom / operating system / region inference algorithm / Java / operating systems / /
Typed Memory Management in a Calculus of Capabilitiesā David Walker Cornell University Karl Crary Carnegie Mellon University