Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation

Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois. Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation. In Marcelo de Almeida Maia, Fábio Dorça, Rafael Dias Araujo, Cristiano Damiani Vasconcellos, editors, SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6 - 7, 2022. pages 15-23, ACM, 2022. [doi]

Authors

Diogo J. Cardoso

This author has not been identified. Look up 'Diogo J. Cardoso' in Google

Luciana Foss

This author has not been identified. It may be one of the following persons: Look up 'Luciana Foss' in Google

André Rauber Du Bois

This author has not been identified. Look up 'André Rauber Du Bois' in Google