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

First Page		Document Content
Date: 2012-09-10 07:41:01 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 Source URL: www0.cs.ucl.ac.uk Download Document from Source Website File Size: 222,40 KB Share Document on Facebook