scientific article; zbMATH DE number 1231622

MaRDI QIDQ4222945zbMATH OpenFDO

Authors Stephen N. Freund, John Mitchell

Publication date 6 January 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=10#10021

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• A type system for the Java bytecode language and verifier
• Formalizing a JVML verifier for initialization in a theorem prover
• Verified bytecode verifiers.
• Verified bytecode verification and type-certifying compilation
• Java bytecode verification: Algorithms and formalizations

Cited in

(13)

• A type system for the Java bytecode language and verifier
• Verified bytecode verifiers.
• Verified bytecode verification and type-certifying compilation
• Representing Java classes in a typed intermediate language
• Precision in practice: A type-preserving Java compiler
• Formalizing a JVML verifier for initialization in a theorem prover
• Improving the official specification of Java bytecode verification
• Initialization problems for Java
• Type elaboration and subtype completion for Java bytecode
• Immutable Objects for a Java-Like Language
• A flexible model for dynamic linking in Java and C\#
• A new type system for JVM lock primitives
• Using abstract interpretation to add type checking for interfaces in Java bytecode verification

This page was built for publication:

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