\textsc{Mnemonics}: type-safe bytecode generation at run time

DOI10.1007/S10990-011-9077-9MaRDI QIDQ656864zbMATH OpenOpenAlexFDO

Authors Johannes Rudolph, Peter J. Thiemann

Publication date 13 January 2012

Published in Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10990-011-9077-9

zbMATH Keywords

domain-specific languageJava bytecoderun-time code generationscala

Mathematics Subject Classification ID

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

Recommendations

• Verified bytecode verification and type-certifying compilation
• Programming Languages and Systems
• Certifying compilation and run-time code generation
• Verified lightweight bytecode verification
• scientific article; zbMATH DE number 1701360

Cites work

• \textsc{Mnemonics}: type-safe bytecode generation at run time
• A type system for the Java bytecode language and verifier
• Colored local type inference
• DyC: An expressive annotation-directed dynamic compiler for C
• Environment classifiers
• Lightweight bytecode verification
• Lightweight static capabilities
• Phantom types and subtyping
• Protection in programming languages
• Stack-based typed assembly language
• The power of Pi

Cited in

(1)

• \textsc{Mnemonics}: type-safe bytecode generation at run time

Describes a project that uses

Uses Software

• Scala
• Mnemonics
• BCEL
• Flask
• DyC
• LMS
• ASM
• TALx86

This page was built for publication: \textsc{Mnemonics}: type-safe bytecode generation at run time

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