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

DOI10.1007/s10990-011-9077-9zbMath1234.68055OpenAlexW2109650208MaRDI QIDQ656864

Peter Thiemann, Johannes Rudolph

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

run-time code generationdomain-specific languageJava bytecodescala

Mathematics Subject Classification ID

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

Related Items (1)

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

Uses Software

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

Cites Work

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

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