Control generation by program transformation

MaRDI QIDQ5472914zbMATH OpenFDO

Authors Andy King, Jonathan C. Martin

Publication date 19 June 2006

zbMATH Keywords

semi-delay recurrency

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Automating control for logic programs
• Transformations of logic programs with goals as arguments
• The transformational approach to program development
• On the transformation of logic programs with instantiation based computation rules
• Transformations of logic programs

Cited in

(7)

• Some methods of automatic analysis and controllable transformation of programs
• Automating control for logic programs
• Metalogical control for logic programs
• Compiling control
• A pearl on SAT and SMT solving in Prolog
• Non-discriminating arguments and their uses
• scientific article; zbMATH DE number 1926606 (Why is no real title available?)

This page was built for publication: Control generation by program transformation

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