Back to Results
First PageMeta Content
Computing / Compiler construction / Software engineering / Computer memory / Concurrency / Programming language design / Compiler / Programming language implementation / Consistency model / Memory model / Kernel


Synthesizing Memory Models from Framework Sketches
 and Litmus Tests James Bornholt
 Emina Torlak
Add to Reading List

Document Date: 2018-08-25 00:49:19


Open Document

File Size: 840,81 KB

Share Result on Facebook
UPDATE