A type system for the Java bytecode language and verifier

DOI10.1023/A:1025011624925zbMath1031.68039OpenAlexW2168448595MaRDI QIDQ1405989

Stephen N. Freund, John C. Mitchell

Publication date: 9 September 2003

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1025011624925

zbMATH Keywords

type systemsbytecode verificationJava Virtual Machine

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

\textsc{Mnemonics}: type-safe bytecode generation at run time ⋮ A certified lightweight non-interference Java bytecode verifier ⋮ A new type system for JVM lock primitives ⋮ JNI light: an operational model for the core JNI

This page was built for publication: A type system for the Java bytecode language and verifier