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
• scientific article; zbMATH DE number 1796120
• Verified bytecode verifiers.
• Verified bytecode verification and type-certifying compilation
• Java bytecode verification: Algorithms and formalizations

Cited in

(13)

• Type elaboration and subtype completion for Java bytecode
• Initialization problems for Java
• Using abstract interpretation to add type checking for interfaces in Java bytecode verification
• scientific article; zbMATH DE number 1956459 (Why is no real title available?)
• A type system for the Java bytecode language and verifier
• A flexible model for dynamic linking in Java and C\#
• Verified bytecode verification and type-certifying compilation
• Representing Java classes in a typed intermediate language
• scientific article; zbMATH DE number 1796120 (Why is no real title available?)
• Immutable Objects for a Java-Like Language
• Verified bytecode verifiers.
• A new type system for JVM lock primitives
• Improving the official specification of 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)