The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge


Research Paper #602

Title:Tutorial Notes: Reasoning About Logic Programs
Authors:Bundy,A
Date:Sep 1992
Presented:In the proceedings of LPSS-92
Keywords:logic programming, synthesis, transformation, verification, termination
Abstract:These are tutorial notes for LPSS-92: the Logic Programming Summer School organised by the Compulog Esprit Network of Excellence in September 1992. They are an introduction to the techniques of reasoning about logic programs, in particular for synthesising, verifying, transforming and proving termination of logic programs.
Download:POSTSCRIPT COPY


[Search These Pages] [DAI Home Page] [Comment]