Resource-sensitive synchronization inference by abduction

Botincan, Matko, Dodds, Michael David orcid.org/0000-0002-4439-0130 and Jagannathan, Suresh (2012) Resource-sensitive synchronization inference by abduction. In: POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM , New York , pp. 309-322.

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Dates:
  • Published: 2012
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 17 Jul 2014 15:12
Last Modified: 16 Oct 2024 10:38
Published Version: https://doi.org/10.1145/2103656.2103694
Status: Published
Publisher: ACM
Identification Number: 10.1145/2103656.2103694
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Filename: p309_botincan.pdf

Description: p309-botincan

Export

Statistics