Sciweavers

9 search results - page 1 / 2
» tldi 2003
Sort
View
TLDI
2003
ACM
115views Formal Methods» more  TLDI 2003»
13 years 8 months ago
Deciding validity in a spatial logic for trees
Cristiano Calcagno, Luca Cardelli, Andrew D. Gordo...
TLDI
2003
ACM
108views Formal Methods» more  TLDI 2003»
13 years 8 months ago
Inferring annotated types for inter-procedural register allocation with constructor flattening
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
Torben Amtoft, Robert Muller
TLDI
2003
ACM
110views Formal Methods» more  TLDI 2003»
13 years 8 months ago
Type-safe multithreading in cyclone
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
Dan Grossman
TLDI
2003
ACM
13 years 8 months ago
The logical approach to stack typing
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
Amal J. Ahmed, David Walker