Natural semantics-directed generation of compilers and abstract machines

DOI10.1007/PL00003929MaRDI QIDQ5926765zbMATH OpenOpenAlexWikidataFDO

Authors Stephan Diehl

Publication date 7 March 2001

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/pl00003929

zbMATH Keywords

abstract machinesemantics-directed compiler generator

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• A generative methodology for the design of abstract machines
• scientific article; zbMATH DE number 3947597
• From Natural Semantics to Abstract Machines
• scientific article; zbMATH DE number 4050947
• Semantics-directed generation of a Prolog compiler

Cited in

(10)

• Increasing modularity and language-independency in automatically generated compilers
• An action compiler targeting standard ML
• scientific article; zbMATH DE number 4155853 (Why is no real title available?)
• scientific article; zbMATH DE number 3947597 (Why is no real title available?)
• scientific article; zbMATH DE number 3978369 (Why is no real title available?)
• scientific article; zbMATH DE number 4050947 (Why is no real title available?)
• scientific article; zbMATH DE number 4066297 (Why is no real title available?)
• scientific article; zbMATH DE number 44492 (Why is no real title available?)
• From Natural Semantics to Abstract Machines
• Logic Programming

This page was built for publication: Natural semantics-directed generation of compilers and abstract machines

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