Edinburgh Research Explorer

Meta-Level Inference and Program Verification

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

Related Edinburgh Organisations

Documents

Original languageEnglish
Title of host publication6th Conference on Automated Deduction
Subtitle of host publicationNew York, USA, June 7–9, 1982
PublisherSpringer-Verlag GmbH
Pages144-150
ISBN (Electronic)978-3-540-39240-8
ISBN (Print)978-3-540-11558-8
DOIs
StatePublished - 1982

Publication series

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

Abstract

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.

Download statistics

No data available

ID: 6328728