Back to Results
First PageMeta Content
Abstract interpretation / Models of computation / Parallel computing / Petri net / Software engineering / Computing


Soundness of Data Flow Analyses for Weak Memory Models⋆ Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, and Michael Tautschnig Department of Computer Science, University of Oxford, UK
Add to Reading List

Document Date: 2012-09-10 11:41:01


Open Document

File Size: 222,40 KB

Share Result on Facebook