Back to Results
First PageMeta Content
Video signal / Mathematics / PP / Algorithm / Unsatisfiable core / Mathematical logic / Interpolation / Video


What Gives? A Hybrid Algorithm for Error Trace Explanation Vijayaraghavan Murali1 , Nishant Sinha2 , Emina Torlak3 , and Satish Chandra4 1 NUS, Singapore
Add to Reading List

Document Date: 2014-08-13 19:26:59

Open Document

File Size: 357,63 KB

Share Result on Facebook

City

Interpolants / /

Company

IBM / USA 4 Samsung Electronics / /

Country

Singapore / United States / India / /

Event

Product Issues / /

IndustryTerm

hybrid algorithm / error explanation algorithm / then computing inductive interpolants / /

Organization

U.S. Securities and Exchange Commission / UC Berkeley / /

Person

Ai / /

Position

programmer / /

Product

MUCs / SPs / Lemma 1 / shell-sort program / /

ProgrammingLanguage

C / L / /

Technology

Algorithm Our algorithm / Hybrid Algorithm / explanation Our algorithm / error explanation algorithm / /

SocialTag