scientific article; zbMATH DE number 549961

MaRDI QIDQ4287480zbMATH OpenFDO

Authors Maurizio Proietti, Alberto Pettorossi

Publication date 6 May 1994

zbMATH Keywords

data structuresprogram transformationunfold/fold transformationeureka definitionsperformances of logic programs

Mathematics Subject Classification ID

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

Recommendations

• Unfolding--definition--folding, in this order, for avoiding unnecessary variables in logic programs
• scientific article; zbMATH DE number 440117
• Unfolding-based improvements on fuzzy logic programs
• Unfold/fold transformations of logic programs

Cited in

(7)

• scientific article; zbMATH DE number 1497842 (Why is no real title available?)
• scientific article; zbMATH DE number 7453187 (Why is no real title available?)
• Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation
• Logic program synthesis from first-order logic specifications
• scientific article; zbMATH DE number 440117 (Why is no real title available?)
• Elimination of local variables from definite logic programs
• A folding rule for eliminating existential variables from constraint logic programs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4287480)