Algorithmic Program Debugging

Algorithmic Program Debugging
Author :
Publisher : MIT Press (MA)
Total Pages : 231
Release :
ISBN-10 : 0262693070
ISBN-13 : 9780262693073
Rating : 4/5 (70 Downloads)

Book Synopsis Algorithmic Program Debugging by : Ehud Y. Shapiro

Download or read book Algorithmic Program Debugging written by Ehud Y. Shapiro and published by MIT Press (MA). This book was released on 2004-07-01 with total page 231 pages. Available in PDF, EPUB and Kindle. Book excerpt: Shapiro productively combines elements of programming languages, environments, logic, and inductive inference to produce effective debugging aids. The author's use of the PROLOG language provides an efficient implementation of the debugging algorithms.


Algorithmic Program Debugging Related Books

Algorithmic Program Debugging
Language: en
Pages: 231
Authors: Ehud Y. Shapiro
Categories: Computers
Type: BOOK - Published: 2004-07-01 - Publisher: MIT Press (MA)

DOWNLOAD EBOOK

Shapiro productively combines elements of programming languages, environments, logic, and inductive inference to produce effective debugging aids. The author's
Generalized Algorithmic Debugging
Language: en
Pages: 189
Authors: N. Shahmehri
Categories: Debugging in computer science
Type: BOOK - Published: 1991 - Publisher:

DOWNLOAD EBOOK

Abstract: "This thesis presents a novel method for semi-automatic program debugging -- the Generalized Algorithmic Debugging Technique, GADT. The notion of decl
Automated and Algorithmic Debugging
Language: en
Pages: 392
Authors: Peter A. Fritzson
Categories: Computers
Type: BOOK - Published: 1993-11-10 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Debugging has always been a costly part of software development, and many attempts have been made to provide automatic computer support for this task.Automated
How Debuggers Work
Language: en
Pages: 276
Authors: Jonathan B. Rosenberg
Categories: Computers
Type: BOOK - Published: 1996 - Publisher: Wiley

DOWNLOAD EBOOK

A total guide to debuggers: what they do, how they work, and how to use them to produce better programs "Debuggers are the magnifying glass, the microscope, the
Logic-Based Program Synthesis and Transformation
Language: en
Pages: 244
Authors: Germán Puebla
Categories: Computers
Type: BOOK - Published: 2007-03-16 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 20