DocumentCode
3556960
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
fYear
1991
fDate
20-24 May 1991
Firstpage
552
Lastpage
559
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Distributed Computing Systems, 1991., 11th International Conference on
Conference_Location
Arlington, TX
Print_ISBN
0-8186-2144-3
Type
conf
DOI
10.1109/ICDCS.1991.148725
Filename
148725
Link To Document