2 search results - page 1 / 1 » Unsafe Grammars and Panic Automata |
ICALP
2005
Springer
13 years 12 months ago
2005
Springer
APLAS
2003
ACM
13 years 10 months ago
2003
ACM
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a program. We employ a mixture of compile-time analysis and run-time ...