Back to Results
First PageMeta Content
Computing / Logic in computer science / Theoretical computer science / Programming language semantics / Abductive reasoning / Charles Sanders Peirce / Operational semantics / ALGOL 68 / Algorithm / Procedural programming languages / Programming language theory / Software engineering


Validating Library Usage Interactively? William R. Harris, Guoliang Jin, Shan Lu, and Somesh Jha University of Wisconsin, Madison, WI, USA { wrharris, aliang, shanlu, jha }@cs.wisc.edu Abstract. Programmers who develop
Add to Reading List

Document Date: 2013-05-03 16:27:37

Open Document

File Size: 370,42 KB

Share Result on Facebook

Company

Acs / wpP / MySQL / Oracle / /

/

Facility

Somesh Jha University of Wisconsin / /

IndustryTerm

Apache software suite / equivalent search / mature applications / sound algorithm / abductive equivalence algorithm / build tool / /

Organization

University of Wisconsin / Madison / Department of Defense / National Science Foundation / /

Person

Shan Lu / William R. Harris / /

Position

head of srch / loop head / programmer / /

ProgrammingLanguage

Java / C++ / /

Technology

dom / simulation / abductive equivalence algorithm / Java / sound algorithm / /

SocialTag