Software Verification for Weak Memory via Program Transformation⋆ Jade Alglave1,2 , Daniel Kroening2, Vincent Nimal2 , and Michael Tautschnig2,3 1 3

First Page		Document Content
Date: 2013-01-23 08:25:46 Memory Neuropsychological assessment Cognitive science Epistemology Microcontrollers Computer display standards Integrated circuits		Software Verification for Weak Memory via Program Transformation⋆ Jade Alglave1,2 , Daniel Kroening2, Vincent Nimal2 , and Michael Tautschnig2,3 1 3 Add to Reading List Source URL: www0.cs.ucl.ac.uk Download Document from Source Website File Size: 364,01 KB Share Document on Facebook

	RESEARCH ARTICLES ◥ COGNITIVE SCIENCE DocID: 1xVpM - View Document
	Cognitive Reasoning and Trust in Human-Robot Interactions? Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract. We are witnessing accelerating technological advances in autonomous DocID: 1xTpD - View Document
	Multi-source annotation projection of coreference chains: assessing strategies and testing opportunities Yulia Grishina and Manfred Stede Applied Computational Linguistics FSP Cognitive Science University of Potsdam DocID: 1vrep - View Document
	Introduction to the cognitive science of religion Helen De Cruz Philosophy Faculty, University of Oxford Graduate course DocID: 1vqmL - View Document
	Cognitive Science–33 Copyright ! 2010 Cognitive Science Society, Inc. All rights reserved. ISSN: printonline DOI: j01142.x The AHA! Experience: Creativity Thr DocID: 1voDz - View Document