Dynamic inference of polymorphic lock types

DOI10.1016/J.SCICO.2005.03.003MaRDI QIDQ2575137zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 8 December 2005

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2005.03.003

zbMATH Keywords

JavaDynamic analysisType inferenceMultithreadingData races

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Static Analysis
• Type inference against races
• A Certified Data Race Analysis for a Java-like Language
• scientific article; zbMATH DE number 2104620
• scientific article; zbMATH DE number 1728452

Cited in

(5)

• Deadlock checking by data race detection
• Associating synchronization constraints with data in an object-oriented language
• Type inference against races
• Effect-polymorphic behaviour inference for deadlock checking
• Static Analysis

Describes a project that uses

Uses Software

• Daikon
• ESC/Java

This page was built for publication: Dynamic inference of polymorphic lock types

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