Date: 2013-05-03 16:27:37Computing 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 ListSource URL: people.cs.uchicago.eduDownload Document from Source Website File Size: 370,42 KBShare Document on Facebook
|