Title :
Towards an algorithmic debugging for distributed programs
Author :
Ohta, Tsuyoshi ; Mizuno, Tadanori
Author_Institution :
Dept. of Comput. Sci., Shizuoka Univ., Hamamatsu, Japan
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;
Conference_Titel :
Software Engineering Conference, 1999. (APSEC '99) Proceedings. Sixth Asia Pacific
Conference_Location :
Takamatsu
Print_ISBN :
0-7695-0509-0
DOI :
10.1109/APSEC.1999.809633
