A type system for JVM threads

DOI10.1016/S0304-3975(02)00330-4zbMath1019.68013MaRDI QIDQ1853613

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)

Related Items (3)

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

Cites Work

• Unnamed Item

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