126
Voted
OOPSLA
2010
Springer
15 years 1 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...