Completeness of a bytecode verifier and a certifying Java-to-JVM compiler

DOI10.1023/A:1025003423108zbMath1031.68043OpenAlexW1572251458MaRDI QIDQ1405990

Robert F. Stärk, Joachim Schmid

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:1025003423108

zbMATH Keywords

Javabytecode verificationcertifying compilation

Mathematics Subject Classification ID

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

This page was built for publication: Completeness of a bytecode verifier and a certifying Java-to-JVM compiler