2 search results - page 1 / 1 » Unsafe Grammars and Panic Automata |
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
156
click to vote
APLAS
2003
ACM
15 years 9 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 ...