Abstract Interpretation based Verification of Logic Programs (2000)
by
Marco Comini
,
Roberta Gori
,
Giorgio Levi
,
Paolo Volpe
| Venue: | SCIENCE OF COMPUTER PROGRAMMING |
| Citations: | 12 - 6 self |
BibTeX
@INPROCEEDINGS{Comini00abstractinterpretation,
author = {Marco Comini and Roberta Gori and Giorgio Levi and Paolo Volpe},
title = {Abstract Interpretation based Verification of Logic Programs},
booktitle = {SCIENCE OF COMPUTER PROGRAMMING},
year = {2000},
pages = {2000},
publisher = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper is an overview of our results on the application of abstract interpretation concepts to various problems related to the verification of logic programs. These include the systematic design of semantics modeling various proof methods and the characterization of assertions as abstract domains.
