Back to Results
First PageMeta Content
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

Document Date: 2014-05-27 20:45:29

Open Document

File Size: 189,06 KB

Share Result on Facebook
UPDATE