A type system for JVM threads

DOI10.1016/S0304-3975(02)00330-4MaRDI QIDQ1853613zbMATH OpenFDO

Authors Cosimo Laneve

Publication date 21 January 2003

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

Java virtual machine

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• A new type system for JVM lock primitives
• A type system for the Java bytecode language and verifier
• scientific article; zbMATH DE number 1701360
• Verifying a Compiler for Java Threads
• Verified bytecode verifiers.

Cited in

(5)

• scientific article; zbMATH DE number 1759614 (Why is no real title available?)
• A type system for the Java bytecode language and verifier
• Tool-assisted specification and verification of typed low-level languages
• Safe locking for multi-threaded Java with exceptions
• A new type system for JVM lock primitives

This page was built for publication: A type system for JVM threads

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