Abstract Interpretation based Verification of Logic Programs
Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe
Dipartimento di Informatica, Università di Pisa,
Corso Italia 40, 56125 Pisa, Italy
{comini, gori,
levi, volpep}-at-di.unipi.it
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.
Marco Comini <comini-at-di.unipi.it>