Università di Pisa
Sistema bibliotecario di ateneo

Modular Verification of Logic Programs

Pedreschi, Dino and Ruggieri, Salvatore (1996) Modular Verification of Logic Programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

[img] Postscript (GZip) - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (105Kb)


    Recentely, a new approach to verification of logic and Prolog programs has been proposed, whose main advantage is the possibility to reason on different properties in a unified framework. In this paper, we show an equivalent formulation of that proof method which is well-suited for modular program verification. The notion of modularity taken into account is based on stratification. We show that the proofs of correctness of a program P and a program Q can be re-used in the proof of correctness of P "union" Q with small additional efforts. The main advantage consists in the fact that the proofs for P and Q are developed in a fully independent way.

    Item Type: Book
    Uncontrolled Keywords: Verification of logic and Prolog programs, Systematic program development, Modular programming.
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 26 Jan 2015 08:50
    Last Modified: 26 Jan 2015 08:50
    URI: http://eprints.adm.unipi.it/id/eprint/1946

    Repository staff only actions

    View Item