An Intensional Semantics for Elementary Program Transformations

DOI10.1093/LOGCOM/5.4.423MaRDI QIDQ4847377zbMATH OpenOpenAlexFDO

Authors Martin C. Henson

Publication date 20 September 1995

Published in Journal Of Logic And Computation (Search for Journal in Brave)

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

zbMATH Keywords

constructive type theoryintensional semanticsprogram transformation

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On the Proof Theory of Program Transformations
• scientific article; zbMATH DE number 782031
• On transformations of untyped functional programs and their procedural semantics
• scientific article; zbMATH DE number 1531380
• A simple calculus for program transformation (inclusive of induction)

Cited in

(5)

• A Kripke logical relation for effect-based program transformations
• A Framework for Point-Free Program Transformation
• scientific article; zbMATH DE number 782031 (Why is no real title available?)
• On the Proof Theory of Program Transformations
• scientific article; zbMATH DE number 5033863 (Why is no real title available?)

This page was built for publication: An Intensional Semantics for Elementary Program Transformations

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