| 
|
Quote: Capability Language (CL), provably safe intermediate language for region-based memory management; supports aliasing and extensible OS; best for continuation-passing languages
topics >
all references >
references t-z >
Topic:
memory management by regions or memory pool
Topic:
continuation
Topic:
security by capabilities
Topic:
type algebras, typed lambda calculus, and type-complete languages
Quotation Skeleton
Region-based memory management is an alternative to standard … article, we present a new compiler intermediate language, … system. Unlike previous region-based type systems [e.g., Tofte and Talpin's type-and-effects], region lifetimes need not be lexically scoped, and yet the … in settings such as extensible operating systems where … is the use of static capabilities to specify … are relinquished properly, the type system tracks aliasing … [p. 707] the type system for the language propagates … for the language is continuation-passing style (CPS) [Reynolds 1972]. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: memory management by regions or memory pool (17 items)
Topic: continuation (16 items)
Topic: security by capabilities (65 items)
Topic: type algebras, typed lambda calculus, and type-complete languages (28 items)