Associating synchronization constraints with data in an object-oriented language

DOI10.1145/1111037.1111067zbMATH Open1369.68121OpenAlexW2137422315WikidataQ130965260 ScholiaQ130965260MaRDI QIDQ5348934FDOQ5348934

Authors: Mandana Vaziri, Julian Dolby, Frank Tip 

Publication date: 21 August 2017

Published in: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1111037.1111067

Recommendations

• scientific article; zbMATH DE number 1617335
• Dynamic inference of polymorphic lock types
• A Certified Data Race Analysis for a Java-like Language
• Abstraction-guided synthesis of synchronization
• Comprehensive synchronization elimination for Java.

zbMATH Keywords

serializabilityprogramming modeldata racesconcurrent object-oriented programming

Mathematics Subject Classification ID

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

Cited In (1)

• Language Strength Reduction

This page was built for publication: Associating synchronization constraints with data in an object-oriented language

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