Associating synchronization constraints with data in an object-oriented language

DOI10.1145/1111037.1111067MaRDI QIDQ5348934zbMATH OpenOpenAlexWikidataFDO

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

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)

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.

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)