Meta-Level Inference and Program Verification

L. Sterling, Alan Bundy

Research output: Chapter in Book/Report/Conference proceedingConference contribution


In [Bundy and Sterling 81] we described how meta-level inference was useful for controlling search and deriving control information in the domain of algebra. Similar techniques are applicable to the verification of logic programs. A developing meta-language is described, and an explicit proof plan using this language is given. A program, IMPRESS, is outlined which executes this plan.
Original languageEnglish
Title of host publication6th Conference on Automated Deduction
Subtitle of host publicationNew York, USA, June 7–9, 1982
PublisherSpringer-Verlag GmbH
ISBN (Electronic)978-3-540-39240-8
ISBN (Print)978-3-540-11558-8
Publication statusPublished - 1982

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
ISSN (Print)0302-9743


Dive into the research topics of 'Meta-Level Inference and Program Verification'. Together they form a unique fingerprint.

Cite this