Using tracing to direct our reasoning about distributed programs

Autor:	Phil Kearns, W.S. Lloyd
Rok vydání:	2002
Předmět:	Theoretical computer science Computer science Programming language TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS Control system System testing State (computer science) Tracing Control (linguistics) computer.software_genre Mathematical proof computer TRACE (psycholinguistics)
Zdroj:	ICDCS
DOI:	10.1109/icdcs.1991.148725
Popis:	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. >
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::5494d607ad348074ed86f77a65d9596c https://doi.org/10.1109/icdcs.1991.148725 Zobrazit plný text záznamu