A mechanism for efficient debugging of parallel programs

This publication has 18 references indexed in Scilit:

• Lifetime analysis of dynamically allocated objects
  Published by Association for Computing Machinery (ACM) ,1988
• The program dependence graph and its use in optimization
  ACM Transactions on Programming Languages and Systems, 1987
• The impact of interprocedural analysis and optimization in the R ⁿ programming environment
  ACM Transactions on Programming Languages and Systems, 1986
• High-level debugging of distributed systems: The behavioral abstraction approach
  Journal of Systems and Software, 1983
• Programmers use slices when debugging
  Communications of the ACM, 1982
• A precise inter-procedural data flow algorithm
  Published by Association for Computing Machinery (ACM) ,1981
• A practical interprocedural data flow analysis algorithm
  Communications of the ACM, 1978
• Time, clocks, and the ordering of events in a distributed system
  Communications of the ACM, 1978
• Reliability Issues in Computing System Design
  ACM Computing Surveys, 1978
• Guarded commands, nondeterminacy and formal derivation of programs
  Communications of the ACM, 1975