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

DOI10.1007/S10990-011-9077-9zbMATH Open1234.68055OpenAlexW2109650208MaRDI QIDQ656864FDOQ656864

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

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

zbMATH Keywords

domain-specific languageJava bytecoderun-time code generationscala

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (1)

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

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)