Derivation of Logic Programs
From MaRDI portal
Publication:3916005
DOI10.1145/322248.322258zbMath0464.68021OpenAlexW2056168527MaRDI QIDQ3916005
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
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