scientific article; zbMATH DE number 1497831

MaRDI QIDQ4499254zbMATH OpenFDO

Authors Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti

Publication date 5 March 2001

zbMATH Keywords

constraint logic programinvariant promotion strategy

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1973221
• Specialization of Concurrent Guarded Multi-set Transformation Rules
• Publication:4944882
• Derivation of efficient logic programs by specialization and reduction of nondeterminism
• scientific article; zbMATH DE number 1222414

Cites work

• A transformation system for deductive database modules with perfect model semantics
• Abstract multiple specialization and its application to program parallelization
• scientific article; zbMATH DE number 1158761 (Why is no real title available?)
• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• Mixtus: An automatic partial evaluator for full Prolog
• Partial evaluation in logic programming
• Synthesis and transformation of logic programs using unfold/fold proofs
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
• Transformations of CLP modules
• Transforming constraint logic programs

Cited in

(4)

• Convex hull abstractions in specialization of CLP programs
• scientific article; zbMATH DE number 1973221 (Why is no real title available?)
• Using real relaxations during program specialization
• Specialization of Concurrent Guarded Multi-set Transformation Rules

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 Q4499254)