Dynamic inference of polymorphic lock types

DOI10.1016/J.SCICO.2005.03.003zbMATH Open1105.68014OpenAlexW2137949167MaRDI QIDQ2575137FDOQ2575137

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)

Cited In (2)

• Deadlock checking by data race detection
• Effect-polymorphic behaviour inference for deadlock checking

Uses Software

• Daikon
• ESC/Java

   Recommendations

• Static Analysis 👍 👎
• Type inference against races 👍 👎
• A Certified Data Race Analysis for a Java-like Language 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)