<--- Back to Details
First PageDocument Content
Source code / Debugging / Computer jargon / Software archaeology / Software maintenance / Software bug / Open-source software / Instrumentation / Static program analysis / Computer programming / Computing / Software engineering
Date: 2007-10-31 17:44:24
Source code
Debugging
Computer jargon
Software archaeology
Software maintenance
Software bug
Open-source software
Instrumentation
Static program analysis
Computer programming
Computing
Software engineering

Add to Reading List

Source URL: media.pragprog.com

Download Document from Source Website

File Size: 126,79 KB

Share Document on Facebook

Similar Documents

Computing / Computer graphics / 3D rendering / Video game development / Computer programming / Graphics hardware / Graphics libraries / Texture atlas / Graphics processing unit / Texture mapping / Optimizing compiler / Rendering

Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK

DocID: 1xVY6 - View Document

Logic / Mathematical logic / Theoretical computer science / FO / Finite model theory / Predicate transformer semantics / Model theory / Substitution

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Exploiting Traces in Static Program Analysis Better Model Checking through printfs Alex Groce, Rajeev Joshi

DocID: 1xTqe - View Document

International Journal of Computer Science and Software Engineering (IJCSSE), Volume 7, Issue 1, January 2018 ISSN (Online): www.IJCSSE.org Page: A Development of Static Analysis Program and Its Applicati

DocID: 1uyDi - View Document

Explaining Program Failures via Postmortem Static Analysis Roman Manevich Tel Aviv University Manu Sridharan

DocID: 1tOhr - View Document

Static Differential Program Analysis for Software-Defined Networks Tim Nelson, Andrew D. Ferguson, and Shriram Krishnamurthi Brown University Abstract. Networks are increasingly controlled by software, and bad

DocID: 1tMSm - View Document