scientific article; zbMATH DE number 1497831

zbMath0959.68019MaRDI QIDQ4499254

Fabio Fioravanti, Maurizio Proietti, Alberto Pettorossi

Publication date: 5 March 2001

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

zbMATH Keywords

constraint logic programinvariant promotion strategy

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• Transformations of CLP modules
• A transformation system for deductive database modules with perfect model semantics
• Transforming constraint logic programs
• Mixtus: An automatic partial evaluator for full Prolog
• Partial evaluation in logic programming
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
• Synthesis and transformation of logic programs using unfold/fold proofs
• Abstract multiple specialization and its application to program parallelization

This page was built for publication: