Compiling Concurrency Correctly: Cutting out the Middle Man.

Liyang Hu Graham Hutton

Published in: Trends in Functional Programming (2009)

Keyphrases

database systems
concurrency control
cutting stock problems
image processing
software systems
distributed databases
object oriented languages
real time
multi objective
concurrent execution