First Page | Document Content | |
---|---|---|
Date: 2014-05-27 20:45:29Arrays 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 2014Add to Reading ListSource URL: arxiv.orgDownload Document from Source WebsiteFile Size: 189,06 KBShare Document on Facebook |