Compiling a Calculus for Relaxed Memory: Practical constraint-based low-level concurrency.

Michael J. Sullivan Karl Crary Salil Joshi

Published in: CoRR (2019)

Keyphrases

low level
high level
higher level
memory usage
visual information
database
database systems
visual cues
optimal solution
visual features
software systems
concurrency control
mid level
genetic algorithm
constraint satisfaction
limited memory