Derivation of Logic Programs

DOI10.1145/322248.322258zbMath0464.68021OpenAlexW2056168527MaRDI QIDQ3916005

Christopher J. Hogger

Publication date: 1981

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/322248.322258

zbMATH Keywords

program transformationcomputational logicprogram synthesisprogram verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Related Items (20)

Synthesis of positive logic programs for checking a class of definitions with infinite quantification ⋮ Inductive assertion method for logic pograms ⋮ LOGIC DERIVATION OF PARALLEL LINEAR EQUATION SYSTEM SOLVERS WITHIN ELIMINATION STRATEGY ⋮ On the transformation of logic programs with instantiation based computation rules ⋮ Truth versus information in logic programming ⋮ Unfold/fold transformations of logic programs ⋮ An equivalence preserving first order unfold/fold transformation system ⋮ First order compiler: A deterministic logic program synthesis algorithm ⋮ Unnamed Item ⋮ Transformations of CLP modules ⋮ Unfolding--definition--folding, in this order, for avoiding unnecessary variables in logic programs ⋮ Proof methods of declarative properties of definite programs ⋮ Equivalence-preserving first-order unfold/fold transformation systems ⋮ Semantics of algorithmic languages ⋮ Synthetic programming ⋮ Program development schemata as derived rules ⋮ Logic program synthesis from first-order logic specifications ⋮ Deductive and inductive synthesis of equational programs ⋮ Logical debugging ⋮ Logic program synthesis from incomplete specifications

This page was built for publication: Derivation of Logic Programs