Perspectives on program analysis
Flemming Nielson · ACM SIGPLAN Notices · 1997
To guide the research efforts in the area of program analysis it is necessary to provide a taxonomy of the various approaches (identifying strengths and weaknesses), and to explore the links to programming languages and theoretical computer science.