<--- Back to Details
First PageDocument Content
Debugging / Procedural programming languages / Program logic / FermaT Transformation System / Program slicing / Predicate transformer semantics / Conditional / ALGOL 68 / Meat slicer / Software engineering / Computing / Programming language theory
Date: 2005-04-26 05:39:32
Debugging
Procedural programming languages
Program logic
FermaT Transformation System
Program slicing
Predicate transformer semantics
Conditional
ALGOL 68
Meat slicer
Software engineering
Computing
Programming language theory

Add to Reading List

Source URL: www.cse.dmu.ac.uk

Download Document from Source Website

File Size: 114,08 KB

Share Document on Facebook

Similar Documents

ICSM: AutoFlow: An Automatic Debugging Tool for AspectJ Software

ICSM: AutoFlow: An Automatic Debugging Tool for AspectJ Software

DocID: 1xVFC - View Document

REPT: Reverse Debugging of Failures in Deployed Software Weidong Cui and Xinyang Ge, Microsoft Research Redmond; Baris Kasikci, University of Michigan; Ben Niu, Microsoft Research Redmond; Upamanyu Sharma, University of

REPT: Reverse Debugging of Failures in Deployed Software Weidong Cui and Xinyang Ge, Microsoft Research Redmond; Baris Kasikci, University of Michigan; Ben Niu, Microsoft Research Redmond; Upamanyu Sharma, University of

DocID: 1xVto - View Document

JOURNAL OF SOFTWARE, VOL. 8, NO. 3, MARCHAutomated Breakpoint Generation for Debugging Cheng Zhang1,3 , Juyuan Yang2 , Dacong Yan4 , Shengqian Yang4 , Yuting Chen2

JOURNAL OF SOFTWARE, VOL. 8, NO. 3, MARCHAutomated Breakpoint Generation for Debugging Cheng Zhang1,3 , Juyuan Yang2 , Dacong Yan4 , Shengqian Yang4 , Yuting Chen2

DocID: 1xUTT - View Document

VOLUME 2: BPGen: An Automated Breakpoint Generator for Debugging

VOLUME 2: BPGen: An Automated Breakpoint Generator for Debugging

DocID: 1xUOR - View Document

Debugging with Domain-Specific Events via Macros Xiangqi Li Matthew Flatt  University of Utah

Debugging with Domain-Specific Events via Macros Xiangqi Li Matthew Flatt University of Utah

DocID: 1xUJA - View Document