scientific article; zbMATH DE number 549961
From MaRDI portal
Publication:4287480
zbMath0789.68019MaRDI QIDQ4287480
Maurizio Proietti, Alberto Pettorossi
Publication date: 6 May 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
data structuresprogram transformationunfold/fold transformationeureka definitionsperformances of logic programs
Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)
Related Items (4)
Unnamed Item ⋮ Unnamed Item ⋮ 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: