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

City

Oppen / /

/

Facility

University of Freiburg / /

IndustryTerm

software model checking / software model checker / /

MarketIndex

TA / /

Organization

Transregional Collaborative Research Center / Department of Computer Science / German Research Council / University of Freiburg / /

Person

Jochen Hoenicke / Christ Hoenicke / /

Position

representative / /

ProgrammingLanguage

J / /

ProvinceOrState

Massachusetts / /

PublishedMedium

Complex Systems / /

SocialTag