Back to Results
First PageMeta Content
Mathematics / First-order logic / Predicate / Interpretation / Atomic formula / Function / Logical connective / Mereology / Predicate transformer semantics / Logic / Mathematical logic / Predicate logic


Finite Differencing of Logical Formulas for Static Analysis   
Add to Reading List

Document Date: 2005-07-03 22:51:50

Open Document

File Size: 305,40 KB

Share Result on Facebook

Company

Alexey Loginov Comp / /

Currency

USD / /

/

Facility

Tel-Aviv University / University of Wisconsin / /

IndustryTerm

abstract-interpretation algorithm / satisfactory solution / program-analysis applications / /

Organization

School of Comp / Tel-Aviv University / University of Wisconsin / /

Person

Thomas Reps / /

/

ProgrammingLanguage

C / /

ProvinceOrState

Wisconsin / /

Technology

abstract-interpretation algorithm / /

SocialTag