A new type system for JVM lock primitives

DOI10.1007/S00354-008-0038-8MaRDI QIDQ949169zbMATH OpenOpenAlexFDO

Authors Futoshi Iwama, Naoki Kobayashi

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

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

Recommendations

• A type system for JVM threads
• A type system for the Java bytecode language and verifier
• scientific article; zbMATH DE number 1231622
• A static type system for JVM access control
• scientific article; zbMATH DE number 1701360

Cites work

• A generic type system for the pi-calculus
• A type system for JVM threads
• A type system for the Java bytecode language and verifier
• scientific article; zbMATH DE number 1231692 (Why is no real title available?)
• scientific article; zbMATH DE number 1759631 (Why is no real title available?)
• scientific article; zbMATH DE number 827979 (Why is no real title available?)
• Resource usage analysis
• Resource Usage Analysis for the Pi-Calculus
• Stack-based typed assembly language
• Types as models: model checking message-passing programs

Cited in

(3)

• A type system for the Java bytecode language and verifier
• A type system for JVM threads
• Safe locking for multi-threaded Java with exceptions

Describes a project that uses

Uses Software

• Stata
• TALx86
• PIPER

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

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