Login / Signup
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP.
Sarat Chandra Varanasi
Neeraj Mittal
Gopal Gupta
Published in:
Theory Pract. Log. Program. (2023)
Keyphrases
</>
concurrent programs
data structure
web applications
concurrent programming
answer set programming
concurrent processes
source code
process algebra
data types
efficient data structures
database
control system
programming language
logic programs
logic programming