scientific article; zbMATH DE number 1231622

zbMATH Open0925.68079MaRDI QIDQ4222945FDOQ4222945

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (13)

• Type elaboration and subtype completion for Java bytecode
• Initialization problems for Java
• Title not available (Why is that?)
• Using abstract interpretation to add type checking for interfaces in Java bytecode verification
• 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
• Title not available (Why is that?)
• Immutable Objects for a Java-Like Language
• Verified bytecode verifiers.
• Improving the official specification of Java bytecode verification
• A new type system for JVM lock primitives

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)