Concurrency analysis for Java

DOI10.1007/978-3-540-45099-3_22MaRDI QIDQ2722074zbMATH OpenFDO

Authors Cristian Ungureanu, Suresh Jagannathan

Publication date 11 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-45099-3_22

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• Comprehensive synchronization elimination for Java.
• scientific article; zbMATH DE number 2242693
• A shared-variable concurrency analysis of multi-threaded object-oriented programs
• Investigating Java concurrency using abstract state machines
• Abstract interpretation of an object calculus for synchronization optimizations

Cited in

(19)

• Comprehensive synchronization elimination for Java.
• The optimistic readers transformation
• A foundation of escape analysis
• scientific article; zbMATH DE number 986405 (Why is no real title available?)
• scientific article; zbMATH DE number 1283472 (Why is no real title available?)
• Safe locking for multi-threaded Java with exceptions
• Behavior investigation of concurrent Java programs: an approach based on source-code instrumentation
• Fusion of concurrent invocations of exclusive methods
• Locality optimization in JavaParty by means of static type analysis
• An enhanced thread synchronization mechanism for Java
• Initialization problems for Java
• Compiler Construction
• Euro-Par 2004 Parallel Processing
• Associating synchronization constraints with data in an object-oriented language
• scientific article; zbMATH DE number 5031692 (Why is no real title available?)
• Abstract interpretation of an object calculus for synchronization optimizations
• Languages and Compilers for Parallel Computing
• scientific article; zbMATH DE number 2242693 (Why is no real title available?)
• Run-time support for the automatic parallelization of Java programs

This page was built for publication: Concurrency analysis for Java

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