| 
|
Quote: Capability Language (CL) propagates capabilities for region-based memory operations; provably safe type system; lexical scope not required; e.g., extensible systems and continuation-passing style
topics >
all references >
references t-z >
Group:
memory management
Topic:
continuation
Topic:
security by capabilities
Topic:
extensible systems
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.
Group: memory management (11 topics, 346 quotes)
Topic: continuation (16 items)
Topic: security by capabilities (65 items)
Topic: extensible systems (22 items)
Topic: type algebras, typed lambda calculus, and type-complete languages (28 items)