Program transformation and proof transformation

DOI10.1007/BFB0049339MaRDI QIDQ4525292zbMATH OpenFDO

Authors Wilfried Sieg, Stanley S. Wainer

Publication date 22 January 2001

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

Full work available at URL https://doi.org/10.1007/BFB0049339

Mathematics Subject Classification ID

Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 785053
• Representing proof transformations for program optimization
• Logic Based Program Synthesis and Transformation
• On the Proof Theory of Program Transformations
• A logic program for transforming sequent proofs to natural deduction proofs

Cited in

(14)

• Induction rules, reflection principles, and provably recursive functions
• A Framework for Point-Free Program Transformation
• Formal program construction by transformations-computer-aided, intuition-guided programming
• Intuitionistic proof transformations and their application to constructive program synthesis
• scientific article; zbMATH DE number 785053 (Why is no real title available?)
• On the Proof Theory of Program Transformations
• Deforestation, program transformation, and cut-elimination
• A logic program for transforming sequent proofs to natural deduction proofs
• Program transformation and rewriting
• Transforming programs into recursive functions
• Representing proof transformations for program optimization
• Logic Based Program Synthesis and Transformation
• A simple calculus for program transformation (inclusive of induction)
• Proving the correctness of recursion-based automatic program transformations

This page was built for publication: Program transformation and proof transformation

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