PrideMM: A Solver for Relaxed Memory Models. Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, and Mikoláš Janota. arXiv: Logic in Computer Science. 2019 shelley2024-07-26T09:03:56+00:00 Share this content FacebookXLinkedInWhatsAppEmail Related Posts A Key-Value store for Ocaml. A Key-Value store for Ocaml. Structuring the synthesis of heap-manipulating programs. Structuring the synthesis of heap-manipulating programs. Distributed Protocol Combinators. Distributed Protocol Combinators. Sound regular expression semantics for dynamic symbolic execution of JavaScript. Sound regular expression semantics for dynamic symbolic execution of JavaScript.
by