Predicate logic: a calculus for deriving programs

Authors:
Keith Clark;Sharon Sickel
Affiliations:
Computing & Control, Imperial College, London, England;Information Sciences, University of California, Santa Cruz, California
Venue:
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Year:
1977

Citing 3
Cited 3

Prolog - the language and its implementation compared with Lisp

Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Some transformations for developing recursive programs

Proceedings of the international conference on Reliable software
A Search Technique for Clause Interconnectivity Graphs

IEEE Transactions on Computers

First order compiler: A deterministic logic program synthesis algorithm

Journal of Symbolic Computation
Program Derivation = Rules + Strategies

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
A Multiple-Clause Folding Rule Using Instantiation and Generalization

Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2

Quantified Score

Hi-index	0.00

Visualization

Abstract

we show how predicate logic can be used to derive programs from axiomatic specifications. We also show how its proof theory can be used to analyse, and re-charaterize, the computations of a program.