Title :
Using tracing to direct our reasoning about distributed programs
Author :
Lloyd, W.S. ; Kearns, Phil
Author_Institution :
Dept. of Comput. Sci., Coll. of William & Mary, Williamsburg, VA, USA
Abstract :
Two principles are proposed for proving and tracing distributed programs: it is necessary to assert in proofs only what can be readily traced, and trace just what can be asserted in the proofs. A proof system and tracing strategy are described for CSP programs based on these principles, using vector time and control variables, not auxiliary variables, to represent control state, and stressing local rather than global reasoning
Keywords :
artificial intelligence; cognitive systems; inference mechanisms; parallel programming; CSP programs; control state; control variables; distributed programs; proof system; proofs; reasoning; tracing; vector time; Computer hacking; Computer science; Control systems; Educational institutions; Error correction; Sequential analysis; Software testing; Stress control; System testing; Writing;
Conference_Titel :
Distributed Computing Systems, 1991., 11th International Conference on
Conference_Location :
Arlington, TX
Print_ISBN :
0-8186-2144-3
DOI :
10.1109/ICDCS.1991.148725
