Back to Results
First PageMeta Content
Mathematical logic / Predicate transformer semantics / Logic / Transformer / Function / Interpretation / Data-flow analysis / The Transformers / Mathematics / Formal methods / Program logic


Generating Precise and Concise Procedure Summaries Greta Yorsh ∗ Eran Yahav Satish Chandra
Add to Reading List

Document Date: 2008-03-27 09:24:14


Open Document

File Size: 380,25 KB

Share Result on Facebook

City

San Francisco / /

Company

IBM / /

Country

United States / /

Currency

USD / /

/

Facility

IBM T.J. Watson Research Center / Eran Yahav Satish Chandra Tel Aviv University / /

IndustryTerm

imprecise algorithm / composition algorithm / allocation site / /

Organization

Tel Aviv University / U.S. Securities and Exchange Commission / /

Person

Ai / Greta Yorsh / Eran Yahav Satish Chandra / /

Position

Programs General / /

ProvinceOrState

California / /

Technology

Conditional Micro-Transformers Our composition algorithm / Simplification The composition algorithm / x∈X The composition algorithm / composition algorithm / /

SocialTag