Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars1
Under a Creative Commons license
open access
Keywords
compiler optimization
optimization verification
data flow analysis
attribute grammars
model checking
temporal logic
Cited by (0)
- 1
This research is partially funded by NSF CAREER Award #0347860, NSF CCF Award #0429640, and the McKnight Foundation.
Copyright © 2007 Elsevier B.V.