An interactive debugger for a concurrent language

Authors:
N. De Francesco;D. Latella;G. Vaglini
Affiliations:
Dipartimento di Informatica, Università di PiSa;Dipartimento di Informatica, Università di PiSa;Dipartimento di Informatica, Università di PiSa
Venue:
ICSE '85 Proceedings of the 8th international conference on Software engineering
Year:
1985

Citing 4
Cited 3

The Cornell program synthesizer: a syntax-directed programming environment

Communications of the ACM
Communicating sequential processes

Communications of the ACM
Static checking of interprocess communication in ECSP

SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Development of a debugger for a concurrent language

SIGSOFT '83 Proceedings of the symposium on High-level debugging

Description for a Tool Specifying and Prototyping Concurrent Programs

IEEE Transactions on Software Engineering
A bibliography of parallel debuggers, 1990 edition

ACM SIGPLAN Notices
Path analysis of distributed programs

CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science

Quantified Score

Hi-index	0.01

Visualization

Abstract

This work deals with issues of interactive debugging for the concurrent language ECSP. The debugger matches a formal specification of the expected behavior of a program against its actual behaviour. This specification can be given at different levels of abstraction. Control is returned to the user when an error is detected. The user can then modify the flow of the computation and/or dynamically change the specification of the expected behavior. The debugger implementation is based on program transformation techniques.