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

Research Paper #602

Title:Tutorial Notes: Reasoning About Logic Programs
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.

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