Specifying compositional units for correct program development in computational logic

Kung Kiu Lau, Mario Ornaghi

    Research output: Chapter in Book/Report/Conference proceedingChapter


    In order to provide a formalism for defining program correctness and to reason about program development in Computational Logic, we believe that it is better to distinguish between specifications and programs. To this end, we have developed a general approach to specification that is based on a model-theoretic semantics. In our previous work, we have shown how to define specifications and program correctness for open logic programs. In particular we have defined a notion of correctness called steadfastness, that captures at once modularity, reusability and correctness. In this paper, we review our past work and we show how it can be used to define compositional units that can be correctly reused in modular or component-based software development. © Springer-Verlag 2004.
    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.
    Number of pages28
    Publication statusPublished - 2004


    Dive into the research topics of 'Specifying compositional units for correct program development in computational logic'. Together they form a unique fingerprint.

    Cite this