A generic abstract interpreter
We present in extenso the calculation-based development of a generic compositional reachability static analyzer for a simple imperative programming language by abstract interpretation of its formal rule-based/structured small-step operational semantics.
[ Homepage ]
| Author: | Patrick Cousot. |
| Last modification date: | 10-Aug-2001 |
| Development status: | Stable |
| Kind: | Documentations :: Scientific papers |
| Topic: | Programming languages :: Program analysis |
| Homepage: | http://www.di.ens.fr/~cousot/COUSOTpapers/Marktoberdorf98.shtml |