Effect-dependent transformations for concurrent programs

Nick Benton, Martin Hofmann 0001, Vivek Nigam. Effect-dependent transformations for concurrent programs. Science of Computer Programming, 155:27-51, 2018. [doi]

Abstract

Abstract is missing.