scientific article

zbMath0765.68141MaRDI QIDQ4038669

Maurizio Proietti, Alberto Pettorossi

Publication date: 18 May 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

developing logic programs by transformationeureka predicatesgeneralization strategyloop absorption strategy

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Related Items (5)

Linearisability on Datalog programs ⋮ Unnamed Item ⋮ 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

This page was built for publication: