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
External Links
Identifiers
- ORCID
- 0000-0003-0101-9953
Impact Metrics
h-index
1
h-index: Number of publications with at least h citations each.