Systematization of abstractions for unified programming language and environment support in static code analyzers
The paper about classification of abstractions used in static analyzers.
The paper about classification of abstractions used in static analyzers.