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