Back to Results
First PageMeta Content
Propositional calculus / Model theory / Predicate logic / Formal languages / First-order logic / Function / Interpretation / Entailment / Partition / Logic / Mathematics / Mathematical logic


Abstractions from Proofs∗ Thomas A. Henzinger Ranjit Jhala Rupak Majumdar
Add to Reading List

Document Date: 2006-06-02 17:23:14

Open Document

File Size: 174,28 KB

Share Result on Facebook

City

Venice / /

Company

Upd / SP / Clean / /

Country

United States / Italy / /

Currency

USD / /

/

Event

Reorganization / /

Facility

University of California Berkeley / /

IndustryTerm

syntactic strongest postcondition operator / large software systems / call site / predicate discovery algorithm / software systems / /

Organization

University of California / National Science Foundation / /

Person

Thomas A. Henzinger Ranjit Jhala Rupak / Ranjit Jhala Rupak Majumdar Kenneth / Kenneth L. McMillan / /

Position

driver / hb / General Programs / 4i hb / /

Product

Pentax K-x Digital Camera / /

ProgrammingLanguage

C / /

ProvinceOrState

California / /

Technology

resulting predicate discovery algorithm / simulation / /

SocialTag