Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation.

Diogo J. Cardoso Luciana Foss André Rauber Du Bois

Published in: SBLP (2022)

Keyphrases

graph transformation
blue gene
hardware design
programming language
software development
software systems
speculative execution
massively parallel
transactional memory
design patterns
hardware implementation
parallel computing