Sciweavers

FMCO
2007
Springer
103views Formal Methods» more  FMCO 2007»
14 years 5 months ago
Safety Guarantees from Explicit Resource Management
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
David Aspinall, Patrick Maier, Ian Stark