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
|