Analysis is ubiquitous
Analysis is ubiquitous
- Programming languages
- type checking, type inferencing, etc.
- Compilers
- optimization, parallelization, etc.
- Software engineering
- testing, program understanding, reverse and reengineering, etc.
- needed to support software evolution