Back to Results
First PageMeta Content
Model theory / Predicate logic / Formal languages / Metalogic / First-order logic / Interpretation / Ground expression / Atomic formula / Well-formed formula / Logic / Mathematics / Mathematical logic


An Efficient Decision Procedure for Imperative Tree Data Structures ? Thomas Wies1 , Marco Mu˜niz2 , and Viktor Kuncak3 1 Institute of Science and Technology (IST), Austria
Add to Reading List

Document Date: 2011-05-02 03:09:28

Open Document

File Size: 273,94 KB

Share Result on Facebook

/

Facility

Institute of Science / University of Freiburg / /

IndustryTerm

binary search tree / automated software verification / search tree / /

NaturalFeature

forests MF / /

Organization

Institute of Science and Technology / University of Freiburg / /

Person

Marco Mu˜niz / Viktor Kuncak / Marco Mu / /

ProgrammingLanguage

Datalog / Java / C / /

Technology

Java / /

SocialTag