2 search results - page 1 / 1 » A time-aware type system for data-race protection and guaran... |
OOPSLA
2010
Springer
13 years 5 months ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...
TLDI
2003
ACM
14 years 17 days ago
2003
ACM
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...