Publication:4038669
From MaRDI portal
zbMath0765.68141MaRDI QIDQ4038669
Maurizio Proietti, Alberto Pettorossi
Publication date: 18 May 1993
developing logic programs by transformation; eureka predicates; generalization strategy; loop absorption strategy
68Q60: Specification and verification (program logics, model checking, etc.)
68N17: Logic programming
Related Items
Unfolding--definition--folding, in this order, for avoiding unnecessary variables in logic programs, Logic program synthesis from first-order logic specifications, Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation, Linearisability on Datalog programs