On the Proof Theory of Program Transformations

DOI10.1093/JIGPAL/3.4.643MaRDI QIDQ4847375zbMATHOpenAlexFDO

Authors Martin C. Henson

Publication date 20 September 1995

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/85b35d1ffc2f75f2817e601bb9cce9fdafa31593

zbMATH Keywords

constructive set theoryprogram transformationintensional semantics

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Other constructive mathematics (03F65) Semantics in the theory of computing (68Q55)

Recommendations

• An Intensional Semantics for Elementary Program Transformations
• scientific article; zbMATH DE number 1555192
• scientific article; zbMATH DE number 782031
• scientific article; zbMATH DE number 785053
• Representing proof transformations for program optimization

Cited in

(10)

• A Framework for Point-Free Program Transformation
• Proving the correctness of recursion-based automatic program transformations
• On transformations of untyped functional programs and their procedural semantics
• scientific article; zbMATH DE number 782031 (Why is no real title available?)
• Formal program construction by transformations-computer-aided, intuition-guided programming
• scientific article; zbMATH DE number 5033863 (Why is no real title available?)
• An Intensional Semantics for Elementary Program Transformations
• A Transformational Approach to Prove Outermost Termination Automatically
• System Description: The Proof Transformation System CERES
• scientific article; zbMATH DE number 1555192 (Why is no real title available?)

This page was built for publication: On the Proof Theory of Program Transformations

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