-
Todd L. Veldhuizen and Andrew Lumsdaine.
Guaranteed Optimization: Proving Nullspace Properties of Compilers.
In Proceedings of the 2002 Static Analysis Symposium (SAS'02),
volume 2477 of Lecture Notes in Computer Science,
pages 263-277,
2002.
Springer-Verlag.
Keywords:
dataflow analysis,
reliable optimization,
abstract interpretation,
program analysis,
program optimization,
abstraction penalty,
term rewriting,
superanalysis.
[Abstract] [bibtex-entry]
-
Todd L. Veldhuizen and Andrew Lumsdaine.
Guaranteed Optimization: Proving Nullspace Properties of Compilers.
Technical Report TR564,
Indiana University Computer Science,
2002.
Keywords:
dataflow analysis,
reliable optimization,
abstract interpretation,
program analysis,
program optimization,
abstraction penalty,
term rewriting,
superanalysis.
[Abstract] [bibtex-entry]
BACK TO INDEX
Disclaimer:
This material is presented to ensure timely dissemination of
scholarly and technical work. Copyright and all rights therein
are retained by authors or by other copyright holders.
All person copying this information are expected to adhere to
the terms and constraints invoked by each author's copyright.
In most cases, these works may not be reposted
without the explicit permission of the copyright holder.
Last modified: Fri Apr 25 13:19:07 2008
Author: dikim.
This document was translated from BibTEX by
bibtex2html
