Stack-based typed assembly language

DOI10.1017/S0956796801004178MaRDI QIDQ2784166zbMATH OpenOpenAlexFDO

Authors Greg Morrisett, Karl Crary, Neal Glew, David Walker

Publication date 17 April 2002

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

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

zbMATH Keywords

typed assembly languageJava virtual machine language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)

Recommendations

• scientific article; zbMATH DE number 1746459
• scientific article; zbMATH DE number 1956543
• A dependently typed assembly language
• Heap-bounded assembly language
• Verification, Model Checking, and Abstract Interpretation

Cited in

(10)

• Automated techniques for provably safe mobile code.
• A formally verified compiler back-end
• Staged allocation: a compositional technique for specifying and implementing procedure calling conventions
• safeDpi: a language for controlling mobile code
• A verifiable low-level concurrent programming model based on colored Petri nets
• Flow analytic type system for array bound checks
• \textsc{Mnemonics}: type-safe bytecode generation at run time
• Heap-bounded assembly language
• StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities
• A dependently typed assembly language

Describes a project that uses

Uses Software

• TALx86

This page was built for publication: Stack-based typed assembly language

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