Sciweavers

Share
4 search results - page 1 / 1
» Fractional Ownerships for Safe Memory Deallocation
Sort
View
APLAS
2009
ACM
12 years 2 months ago
Fractional Ownerships for Safe Memory Deallocation
We propose a type system for a programming language with memory allocation/deallocation primitives, which prevents memory-related errors such as double-frees and memory leaks. The ...
Kohei Suenaga, Naoki Kobayashi
CORR
2009
Springer
87views Education» more  CORR 2009»
11 years 6 months ago
A Concurrent Language with a Uniform Treatment of Regions and Locks
A challenge for programming language research is to design and implement multi-threaded low-level languages providing static guarantees for memory safety and freedom from data rac...
Prodromos Gerakios, Nikolaos Papaspyrou, Konstanti...
SCP
2008
144views more  SCP 2008»
11 years 8 months ago
Implicit ownership types for memory management
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...
Tian Zhao, Jason Baker, James Hunt, James Noble, J...
TLDI
2010
ACM
225views Formal Methods» more  TLDI 2010»
12 years 5 months ago
Race-free and memory-safe multithreading: design and implementation in cyclone
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
Prodromos Gerakios, Nikolaos Papaspyrou, Konstanti...
books