Locksynth: deriving synchronization code for concurrent data structures with ASP

DOI10.1017/S1471068423000303MaRDI QIDQ7027193zbMATH OpenFDO

Authors Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta

Publication date 14 February 2025

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1471068423000303

zbMATH Keywords

answer-set programmingconcurrent data structures

Mathematics Subject Classification ID

Logic programming (68N17) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Data structures (68P05)

Cites work

• A Marriage of Rely/Guarantee and Separation Logic
• Abstraction-guided synthesis of synchronization
• Constraint answer set programming without grounding
• Dafny: an automatic program verifier for functional correctness
• scientific article; zbMATH DE number 1614699 (Why is no real title available?)
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• Interactive proofs in higher-order concurrent separation logic
• Lock-free linked lists using compare-and-swap
• Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
• The Java memory model
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Locksynth: deriving synchronization code for concurrent data structures with ASP

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