Using Abstract Interpretation to Correct Synchronization Faults

DOI10.1007/978-3-319-52234-0_11zbMath1484.68046OpenAlexW2569672444MaRDI QIDQ2961562

Eric Koskinen, Peng Liu, Pietro Ferrara, Omer Tripp

Publication date: 21 February 2017

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-52234-0_11

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Autolocker

Cites Work

• Semantics of Concurrent Revisions
• Grammar Analysis and Parsing by Abstract Interpretation
• Elastic Transactions
• Abstract interpretation and application to logic programs
• A shape analysis for optimizing parallel graph programs

This page was built for publication: Using Abstract Interpretation to Correct Synchronization Faults