DocumentCode
3372292
Title
Towards an algorithmic debugging for distributed programs
Author
Ohta, Tsuyoshi ; Mizuno, Tadanori
Author_Institution
Dept. of Comput. Sci., Shizuoka Univ., Hamamatsu, Japan
fYear
1999
fDate
1999
Firstpage
426
Lastpage
433
Abstract
The article presents a framework for algorithmic debugging of distributed programs written in procedural languages. It also gives an overview of a prototype system based on this framework and explains how to debug with this system, using an example of the dining philosophers´ problem
Keywords
concurrency control; distributed programming; program debugging; algorithmic debugging; dining philosophers; distributed programs; procedural languages; prototype system; Clocks; Computer science; Control systems; Debugging; Electronic mail; Microwave integrated circuits; Probes; Prototypes; System recovery; Tree graphs;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference, 1999. (APSEC '99) Proceedings. Sixth Asia Pacific
Conference_Location
Takamatsu
Print_ISBN
0-7695-0509-0
Type
conf
DOI
10.1109/APSEC.1999.809633
Filename
809633
Link To Document