Specifying Optimizations in Attribute Grammars Using Temporal Logic
2014-10-02
Loading...
View/Download File
Persistent link to this item
Statistics
View StatisticsJournal Title
Journal ISSN
Volume Title
Title
Specifying Optimizations in Attribute Grammars Using Temporal Logic
Authors
Published Date
2014-10-02
Publisher
Type
Thesis or Dissertation
Abstract
Modern compilers perform many optimizations to code in order to increase its
execution speed and e ciency. These optimizations generally involve a complex
analysis of the program being compiled in order to determine where code can be
optimized. The algorithms to perform these analyses are complex and can be
di cult both to understand and to implement. In order to make the speci cation
of these analyses simpler and easier to understand, we have developed a system
for specifying optimizations using temporal logic.
To perform these optimizations, we rst augment a language's attribute
grammar speci cation to generate a control
ow graph which has been annotated
with predicates giving details necessary for the analysis. This control
ow graph
along with a temporal logic formula is provided as input to a model checker
which determines which points in the program's control
ow graph correspond
with program statements that can be optimized. Finally, these statements are
transformed accordingly to generate a new, optimized abstract syntax tree which
can be used for code generation.
Description
Related to
Replaces
License
Collections
Series/Report Number
Funding information
Isbn identifier
Doi identifier
Previously Published Citation
Other identifiers
Suggested citation
Staricka, Mathias. (2014). Specifying Optimizations in Attribute Grammars Using Temporal Logic. Retrieved from the University Digital Conservancy, https://hdl.handle.net/11299/166536.
Content distributed via the University Digital Conservancy may be subject to additional license and use restrictions applied by the depositor. By using these files, users agree to the Terms of Use. Materials in the UDC may contain content that is disturbing and/or harmful. For more information, please see our statement on harmful content in digital repositories.