Re: Analysis and optimization frameworks related work?

> This is a request for information about related work on frameworks
> that make it easier to design and implement compiler optimizations.


I believe that you would have already seen


- M. S. Hecht.
      Flow Analysis of Computer Programs.
      Elsevier North-Holland Inc., 1977.


- S. S. Muchnick and N. D. Jones.
      Program Flow Analysis : Theory and Applications.
      Prentice-Hall, Inc., 1981.


Take a look at the following too :


- D. M. Dhamdhere and Uday P. Khedker.
      Complexity of bidirectional data flow analysis.
      In Proceedings of the 20th Annual ACM Symposium on
      Principles of Programming Languages, pages 397--408, 1993.




- Uday P. Khedker and D. M. Dhamdhere.
      A generalized theory of bit vector data flow analysis.
      ACM Transactions on Programming Languages and Systems,
      16(5):1472--1511, 1994.


I could have added many more to the list but since the objective is
to look at theoretical underpinnings rather than at *clever* optimisations,
I have restricted the list to these four references.


Uday.


-------------------------------------------------------------------------------
Uday Khedker email : uday@cs.unipune.ernet.in
Department of Computer Science phone : 91 (0212) 357812 (O)
University of Pune 91 (0212) 357206 (R)
Pune 411 007, India.


--

Return to the comp.compilers page.
Search the comp.compilers archives again.