Map
Index
Random
Help
th

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 > QuoteRef: walkD7_2000 , p. abstract



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.


Related Topics up

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)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.