Program analysis should evolve from a disparate collection of methods and algorithms to a mature discipline founded on a well-established methodology. Abstract interpretation can be used as a basis for such a methodology.
|Original language||English (US)|
|Number of pages||4|
|Journal||SIGPLAN Notices (ACM Special Interest Group on Programming Languages)|
|State||Published - 1997|
ASJC Scopus subject areas
- Computer Graphics and Computer-Aided Design