Reasoning about Prolog programs: From modes through types to assertions

@article{Apt2005ReasoningAP,
  title={Reasoning about Prolog programs: From modes through types to assertions},
  author={K. Apt and E. Marchiori},
  journal={Formal Aspects of Computing},
  year={2005},
  volume={6},
  pages={743-765}
}
  • K. Apt, E. Marchiori
  • Published 2005
  • Computer Science
  • Formal Aspects of Computing
  • We provide here a systematic comparative study of the relative strength and expressive power of a number of methods for program analysis of Prolog. Among others we show that these methods can be arranged in the following hierarchy: mode analysis ⇒ type analysis ⇒ monotonic properties ⇒ nonmonotonic run-time properties. We also discuss a method allowing us to prove global run-time properties. 
    44 Citations

    Topics from this paper.

    Abstract interpretation based verification of logic programs
    • 9
    • PDF
    Successful Logic Programs
    • Nicoletta CoccoDip
    • 1998
    • 1
    • Highly Influenced
    On logic programs that always succeed
    • 2
    • Highly Influenced
    • PDF
    Termination Analysis of Logic Programs: Extended Abstract
    • 3
    A simple correctness proof for magic transformation
    • W. Drabent
    • Computer Science
    • Theory Pract. Log. Program.
    • 2012
    • 1
    • PDF
    Successes in Logic
    Successes in Logic ProgramsAnnalisa Bossi
    Towards Soft Typing for CLP
    LP with Flexible Grouping and Aggregates Using Modes

    References

    SHOWING 1-10 OF 23 REFERENCES
    On the Unification Free Prolog Programs
    • 79
    • PDF
    Verifying Correctness of Logic Programs
    • 67
    • PDF
    Proving Termination of Logic Programs by Exploiting Term Properties
    • 62
    • PDF
    On the occur-check-free PROLOG programs
    • 54
    • PDF
    Logic Programming
    • K. Apt
    • Computer Science
    • Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics
    • 1990
    • 1,693
    Foundations of Logic Programming
    • 3,821
    Apt . Logic programming
    • 1994