SPARE: A Development Environment for Program Analysis Algorithms
IEEE Transactions on Software Engineering
Sharlit—a tool for building optimizers
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Automatic generation and management of interprocedural program analyses
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Generation of Efficient Interprocedural Analyzers with PAG
SAS '95 Proceedings of the Second International Symposium on Static Analysis
Semantics-Directed Program Analysis: A Tool-Maker's Perspective
SAS '96 Proceedings of the Third International Symposium on Static Analysis
How to Uniformly Specify Program Analysis and Transformation with Graph Rewrite Systems
CC '96 Proceedings of the 6th International Conference on Compiler Construction
An appreciation of the work of Reinhard Wilhelm
Program analysis and compilation, theory and practice
| Hi-index | 0.00 |
Program Analysis is largely based on generic theories that have the potential for toolmaking. Intensive research should go into the still open problems faced by the creators of program analysis generators. To date, the more generic method of abstract interpretation has advantages for toolmaking compared to type inference based and set based analysis methods.