Introduction to Semantics Based Program Analysis and Manipulation
Theory, techniques, and tools for the analysis and manipulation of
programs to improve performance.
A rough categorization of research areas
- Program analysis
- Abstract interpretation
- Static analysis
- Binding time analysis
- Program manipulation techniques
- Program transformation
- Program specialization
- Partial evaluation
- Correctness
- Programs as data objects
- Meta programming
- Incremental computation
- Related issues in language design and models of computation
- Compiling and implementation
- Types
- Concurrency
- Semantics
- Model-specific issues: functional, logic programming,
object oriented, parallel, distributed
- Tools, techniques, and representations
- Program and code representations
- Tools for program analysis and manipulation
- Prototyping and debugging
W. Scherlis CMU <scherlis@cs.cmu.edu>