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

DOI10.1145/1111037.1111073MaRDI QIDQ5348943zbMATH OpenOpenAlexFDO

Authors Reuben Olinsky, Christian Lindig, Norman Ramsey

Publication date 21 August 2017

Published in Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1111037.1111073

zbMATH Keywords

calling conventions

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Compiler Construction
• Type-specialized staged programming with process separation
• Stack-based typed assembly language
• Calculating with procedure calls
• Abstracting Allocation

Cited in

(2)

• StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities
• Compiler Construction

This page was built for publication: Staged allocation: a compositional technique for specifying and implementing procedure calling conventions

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