Compiler Construction

DOI10.1007/B95956MaRDI QIDQ5309682zbMATH OpenOpenAlexFDO

Authors Christian Lindig, Norman Ramsey

Publication date 28 September 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• Staged allocation: a compositional technique for specifying and implementing procedure calling conventions
• Procedure compilation in the refinement calculus
• scientific article; zbMATH DE number 3947596
• Stackability in the simply-typed call-by-value lambda calculus
• Stack method in program semantics

Cited in

(1)

• Staged allocation: a compositional technique for specifying and implementing procedure calling conventions

Describes a project that uses

Uses Software

• Lua
• OCaml

This page was built for publication: Compiler Construction

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