Region-based memory management is an alternative to standard tracing garbage collection that makes operations such as memory deallocation explicit but veriably safe. In this article, we present a new compiler intermediate language, called the Capability Language (CL), that supports region-based memory management and enjoys a provably safe type system. Unlike previous region-based type systems, region lifetimes need not be lexically scoped, and yet the language may be checked for safety without complex analyses. Therefore, our type system may be deployed in settings such as extensible operating systems where both the performance and safety of untrusted code is important. The central novelty of the language is the use of static capabilities t...
Region-based memory management is a technique to do compile-time memory management based on the idea...
Cyclone is a type-safe programming language intended for applications requiring control over memory ...
There is an increasing interest in alternative memory management schemes that seek to combine the co...
An increasing number of systems rely on programming lan-guage technology to ensure safety and securi...
Abstract. Region-based memory management has been proposed as a viable alternative to garbage collec...
AbstractThis paper describes a memory management discipline for programs that perform dynamic memory...
Region-based memory management systems structure mem-ory by grouping objects in regions under progra...
Cyclone is a polymorphic, type-safe programming language derived from C\@. The primary design goa...
We present a destruction-aware type system for the functional lan-guage Safe, which is a first-order...
The goal of the Cyclone project is to investigate type safety for lowlevel languages such as C. Our ...
This paper describes a memory management discipline for programs that perform dynamic memory allocat...
This paper describes a memory discipline that combines region-based memory management and copying ga...
) Alexander Aiken Manuel F ahndrich Raph Levien y Computer Science Division University of Califo...
Region-based memory management has been proposed as a viable alternative to garbage collection for r...
A current challenge for programming language research is to design and implement multithreaded low-l...
Region-based memory management is a technique to do compile-time memory management based on the idea...
Cyclone is a type-safe programming language intended for applications requiring control over memory ...
There is an increasing interest in alternative memory management schemes that seek to combine the co...
An increasing number of systems rely on programming lan-guage technology to ensure safety and securi...
Abstract. Region-based memory management has been proposed as a viable alternative to garbage collec...
AbstractThis paper describes a memory management discipline for programs that perform dynamic memory...
Region-based memory management systems structure mem-ory by grouping objects in regions under progra...
Cyclone is a polymorphic, type-safe programming language derived from C\@. The primary design goa...
We present a destruction-aware type system for the functional lan-guage Safe, which is a first-order...
The goal of the Cyclone project is to investigate type safety for lowlevel languages such as C. Our ...
This paper describes a memory management discipline for programs that perform dynamic memory allocat...
This paper describes a memory discipline that combines region-based memory management and copying ga...
) Alexander Aiken Manuel F ahndrich Raph Levien y Computer Science Division University of Califo...
Region-based memory management has been proposed as a viable alternative to garbage collection for r...
A current challenge for programming language research is to design and implement multithreaded low-l...
Region-based memory management is a technique to do compile-time memory management based on the idea...
Cyclone is a type-safe programming language intended for applications requiring control over memory ...
There is an increasing interest in alternative memory management schemes that seek to combine the co...