Weakly Equivalent Arrays J¨ urgen Christ and Jochen Hoenicke∗ arXiv:1405.6939v1 [cs.LO] 27 May 2014

First Page		Document Content
Date: 2014-05-27 20:45:29 Arrays Array data type Array data structure Equivalence relation C Uninterpreted function Weak equivalence Bit array Satisfiability Modulo Theories Computing Software engineering Computer programming		Weakly Equivalent Arrays J¨ urgen Christ and Jochen Hoenicke∗ arXiv:1405.6939v1 [cs.LO] 27 May 2014 Add to Reading List Source URL: arxiv.org Download Document from Source Website File Size: 189,06 KB Share Document on Facebook

	PDF Document DocID: 1ramO - View Document
	Description of the VDIF Extended Data Version 4: Multiplexed VDIF Data Validity Walter Brisken 07 Jan DocID: 1qWop - View Document
	QP tries are smaller and faster than crit-bit trees Tony Finch University of Cambridge DocID: 1q5Aa - View Document
	Implementing Bit-addressing with Specialization Scott Draves School of Computer Science Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, PA 15213, USA DocID: 1pHva - View Document
	Microsoft Word - ENS026-Express Logic ThreadX-Final.docx DocID: 1pGtt - View Document