Abstract interpretation
A program denotes computations in some universe of objects. Abstract interpretation of programs consists in using that denotation to describe computations in another universe of...
Publications
2 shownFrequent Co-Authors
Researcher Info
- h-index
- 1
- Publications
- 2
- Citations
- 6,100
- Institution
- École Polytechnique
External Links
Impact Metrics
h-index
1
h-index: Number of publications with at least h citations each.