Reasoning about Lock Placements

DOI10.1007/978-3-642-28869-2_17zbMath1352.68052OpenAlexW152789412MaRDI QIDQ2892737

Peter Hawkins, Kathleen Fisher, Mooly Sagiv, Alex Aiken, Martin C. Rinard

Publication date: 22 June 2012

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28869-2_17

Mathematics Subject Classification ID

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

This page was built for publication: Reasoning about Lock Placements