AADEBUG 1993 | Sciweavers

45

AADEBUG
1993
Springer

130views Software Engineering» more AADEBUG 1993»

Animators for Generated Programming Environments

14 years 3 months ago

Animation of execution is a necessary feature of source-level debuggers. We present a framework where animators are generated from existing algebraic speci cations of interpreters....

Frank Tip

claim paper

Read More »

34

click to vote

AADEBUG
1993
Springer

123views Software Engineering» more AADEBUG 1993»

Debugging Logic Programs Using Specifications

14 years 3 months ago

Download www.cs.tau.ac.il

Yuh-Jeng Lee, Nachum Dershowitz

claim paper

Read More »

28

click to vote

AADEBUG
1993
Springer

107views Software Engineering» more AADEBUG 1993»

Slicing Programs with Arbitrary Control-flow

14 years 3 months ago

Download research.microsoft.com

Program slicing is a program transformation that is useful in program debugging, program maintenance, and other applications that involve understanding program behavior. Given a p...

Thomas Ball, Susan Horwitz

claim paper

Read More »

27

click to vote

AADEBUG
1993
Springer

114views Software Engineering» more AADEBUG 1993»

Debugging by Diagnosing Assumptions

14 years 3 months ago

Download centria.di.fct.unl.pt

Luís Moniz Pereira, Carlos Viegas Dam&aacut...

claim paper