A new type system for JVM lock primitives

DOI10.1007/s00354-008-0038-8zbMath1169.68354OpenAlexW1970157103MaRDI QIDQ949169

Naoki Kobayashi, Futoshi Iwama

Publication date: 20 October 2008

Published in: New Generation Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00354-008-0038-8

zbMATH Keywords

bytecode verifierJava Virtual Machine Language

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)

Uses Software

• Stata
• PIPER
• TALx86

Cites Work

• A type system for the Java bytecode language and verifier
• A type system for JVM threads
• A generic type system for the pi-calculus
• Stack-based typed assembly language
• Types as models
• Resource usage analysis
• Resource Usage Analysis for the Pi-Calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A new type system for JVM lock primitives