An Intensional Semantics for Elementary Program Transformations

DOI10.1093/logcom/5.4.423zbMath0833.68079OpenAlexW2033410400MaRDI QIDQ4847377

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 theoryprogram transformationintensional semantics

Mathematics Subject Classification ID

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

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