A type system for JVM threads
From MaRDI portal
Publication:1853613
DOI10.1016/S0304-3975(02)00330-4zbMath1019.68013MaRDI QIDQ1853613
Publication date: 21 January 2003
Published in: Theoretical Computer Science (Search for Journal in Brave)
68N15: Theory of programming languages
Related Items
Safe locking for multi-threaded Java with exceptions, Tool-assisted specification and verification of typed low-level languages, A new type system for JVM lock primitives
Cites Work