Compiling a 50-year journey

DOI10.1017/S0956796817000120MaRDI QIDQ4625157zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Graham Hutton, Patrick Bahr

Publication date 20 February 2019

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796817000120

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• Verification, Model Checking, and Abstract Interpretation
• A formally verified compiler back-end
• One approach to the specification and verification of translators
• scientific article; zbMATH DE number 2081101
• scientific article; zbMATH DE number 2090288

Cites work

• Calculating correct compilers
• scientific article; zbMATH DE number 3291623 (Why is no real title available?)
• Programming in Haskell

Cited in

(5)

• 50 years of OR in sport
• scientific article; zbMATH DE number 1956470 (Why is no real title available?)
• scientific article; zbMATH DE number 2226434 (Why is no real title available?)
• Verification, Model Checking, and Abstract Interpretation
• Programming language semantics: It’s easy as 1,2,3

This page was built for publication: Compiling a 50-year journey

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