Higher-order Transformations and Type Simulations

DOI10.1093/COMJNL/31.6.517MaRDI QIDQ3813272zbMATH OpenOpenAlexFDO

Authors Martin C. Henson

Publication date 1988

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/31.6.517

zbMATH Keywords

code generatorhigher- order program transformationshigher-order accumulationlazy functional programming languagetype simulationupdating with impunity

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1696596
• Higher-order matching for program transformation
• Higher-order functional languages and intensional logic
• Logic Based Program Synthesis and Transformation
• A higher-order abstract syntax approach to verified transformations on functional programs

Cited in

(8)

• Program morphisms
• A higher-order abstract syntax approach to verified transformations on functional programs
• Transformations and reduction strategies for typed lambda expressions
• scientific article; zbMATH DE number 3970091 (Why is no real title available?)
• scientific article; zbMATH DE number 1738298 (Why is no real title available?)
• Higher-order functional languages and intensional logic
• Typed Relational Conversion
• scientific article; zbMATH DE number 5033864 (Why is no real title available?)

This page was built for publication: Higher-order Transformations and Type Simulations

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