The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
Accent: A communication oriented network operating system kernel
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
The design and implementation of a run-time analysis and interactive debugging environment.
The design and implementation of a run-time analysis and interactive debugging environment.
Predicate path expressions: a high-level synchronization mechanism
Predicate path expressions: a high-level synchronization mechanism
Debugging techniques for communicating, loosely-coupled processes
Debugging techniques for communicating, loosely-coupled processes
A language-oriented interactive programming environment based on compilation technology
A language-oriented interactive programming environment based on compilation technology
A relational approach to monitoring complex systems
ACM Transactions on Computer Systems (TOCS)
Handling Timing Errors in Distributed Programs
IEEE Transactions on Software Engineering
A mechanism for efficient debugging of parallel programs
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
A mechanism for efficient debugging of parallel programs
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Debugging parallel programs in parallel
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Abstraction Mechanisms for Event Control in Program Debugging
IEEE Transactions on Software Engineering
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Tools for Distributed Application Management
Computer - Distributed computing systems: separate resources acting as one
High-level language debugging for concurrent programs
ACM Transactions on Computer Systems (TOCS)
A Specificational Approach to High Level Program Monitoring and Measuring
IEEE Transactions on Software Engineering - Special issue on software measurement principles, techniques, and environments
The Ariadne debugger: scalable application of event-based abstraction
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
Testing races in parallel programs with an OtOt strategy
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Execution monitoring and debugging tool for Ada using relational algebra
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
A thread-aware debugger with an open interface
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
A Dataflow Language for Scriptable Debugging
Proceedings of the 19th IEEE international conference on Automated software engineering
Debugging with control-flow breakpoints
Proceedings of the 6th international conference on Aspect-oriented software development
The design and implementation of a dataflow language for scriptable debugging
Automated Software Engineering
| Hi-index | 0.00 |
This paper introduces a modified version of path expressions called Path Rules which can be used as a debugging mechanism to monitor the dynamic behavior of a computation. Path rules have been implemented in a remote symbolic debugger running on the Three Rivers Computer Corporation PERQ computer under the Accent operating system.