The transformational approach to program development

DOI10.1007/978-3-642-14309-0_6MaRDI QIDQ3578393zbMATH OpenOpenAlexFDO

Authors Alberto Pettorossi, Maurizio Proietti, Valerio Senni

Publication date 20 July 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14309-0_6

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 440117
• Basic transformation operations which preserve computed answer substitutions of logic programs
• scientific article; zbMATH DE number 2077069
• scientific article; zbMATH DE number 1926610
• Transformations of logic programs with goals as arguments

Cited in

(33)

• Approximating any logic program by a CS-program
• Transformational program development in a particular problem domain
• The list introduction strategy for the derivation of logic programs
• scientific article; zbMATH DE number 1615258 (Why is no real title available?)
• Program derivation through transformations: The evolution of list-copying algorithms
• scientific article; zbMATH DE number 4106263 (Why is no real title available?)
• The applicability of logic program analysis and transformation to theorem proving
• scientific article; zbMATH DE number 3872648 (Why is no real title available?)
• scientific article; zbMATH DE number 4080965 (Why is no real title available?)
• Efficient program transformers for translating \(\mathsf {LCC}\) to \(\mathsf {PDL}\)
• scientific article; zbMATH DE number 1926606 (Why is no real title available?)
• scientific article; zbMATH DE number 1926610 (Why is no real title available?)
• scientific article; zbMATH DE number 2077065 (Why is no real title available?)
• scientific article; zbMATH DE number 2077069 (Why is no real title available?)
• An NSF proposal
• On completeness of logic programs
• The branching-time transformation technique for chain datalog programs
• scientific article; zbMATH DE number 1615256 (Why is no real title available?)
• scientific article; zbMATH DE number 2084335 (Why is no real title available?)
• Deciding full branching time logic by program transformation
• Control generation by program transformation
• scientific article; zbMATH DE number 7345209 (Why is no real title available?)
• Tuning the program transformers from CC to PDL
• On the transformation of logic programs with instantiation based computation rules
• Program transformation, symbolic computation and algebraic manipulation. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan, November 29--December 1, 1999
• Correctness and completeness of logic programs
• scientific article; zbMATH DE number 4164123 (Why is no real title available?)
• Proceedings of the 9th international workshop on verification and program transformation, VPT, Luxembourg, Luxembourg, March 27--28, 2021
• scientific article; zbMATH DE number 177791 (Why is no real title available?)
• A foundation for flow-based program matching: using temporal logic and model checking
• scientific article; zbMATH DE number 1973217 (Why is no real title available?)
• Incremental execution of transformation specifications
• Transformations of logic programs with goals as arguments

Describes a project that uses

Uses Software

• ECCE

This page was built for publication: The transformational approach to program development

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