Conference articles (1)
  1. 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]


Internal reports (1)
  1. 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: Sun May 28 03:15:13 2017
Author: apache.


This document was translated from BibTEX by bibtex2html