Back to Results
First PageMeta Content
Logic / Algorithm / Abstraction / Model theory / Function / Model checking / Mathematics / Theoretical computer science / Abstract interpretation


Abstract Semantic Differencing via Speculative Correlation Nimrod Partush Eran Yahav Technion
Add to Reading List

Document Date: 2014-09-28 10:55:49

Open Document

File Size: 674,57 KB

Share Result on Facebook

City

Portland / /

Country

United States / /

Currency

USD / /

/

IndustryTerm

web browser / trivial solution / speculative search algorithm / speculative algorithm / printing / computing / abstract interpretation fixed-point algorithms / return solutions / software upgrades / software development / /

OperatingSystem

GNU / Linux / /

Organization

U.S. Securities and Exchange Commission / Technion / /

Person

Nimrod Partush Eran Yahav Technion / /

Position

representative / /

ProgrammingLanguage

C / /

Technology

simulation / Linux / abstract interpretation fixed-point algorithms / speculative algorithm / speculative search algorithm / 4.1 Iterative Speculative Correlation Algorithm / /

URL

http /

SocialTag