Generalized path expressions

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Generalized path expressions: A high level debugging mechanism (Preliminary Draft)

Source

Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging table of contents

Pages: 34 - 44

Year of Publication: 1983

ISBN:0-89791-111-3

Authors

Bernd Bruegge
Peter Hibbard

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 16

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/800007.808006 What is a DOI?

ABSTRACT

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.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Sten Fredrik Andler, Predicate path expressions: a high-level synchronization mechanism, 1979
	2	J.E. Ball, M.R. Barbacci, S.E. Fahlman, S.P. Harbison, P.G. Hibbard, R.F. Rashid, G.G. Robertson, G.L. Steele. The Spice Project. In Computer Science Research Review, pages 5-36. Carnegie Mellon University, 1982.
	3	P. C. Bates and J. C. Wileden. EDL: A Basis For Distributed System Debugging Tools. In 15th Hawaii International Conference on System Sciences, pages 86-93. 1982.
	4	B. Bruegge. KRAUT- A Symbolic Path Expression Debugger. Technical Report TR-005-82, Siemens Corporated Research and Support, Inc., Princeton, New Jersey, October, 1982.
	5	B. Bruegge. Debugging in a Multiple Language Environment Thesis Proposal, Carnegie Mellon University, Dept. of Computer Science, 1983.
	6	Roy H. Campbell , A. Nico Habermann, The specification of process synchronization by path expressions, Operating Systems, Proceedings of an International Symposium, p.89-102, April 23-25, 1974
	7	R. Curtis and L. Wittie. BUGNET: A Debugging System for Parallel Programming Environments. In 3rd International Conference on Distributed Computing Systems, pages 394-399. IEEE, October, 1982.
	8	Peter Hermann Feiler, A language-oriented interactive programming environment based on compilation technology, 1982
	9	A. N. Habermann. Implementation of Regular Path Expressions. Technical Report. Carnegie Mellon University, Dept. of Computer Science, February, 1979.
	10	David Hanson. Event Associations in SNOBOL4 for Program Debugging. Software—Practice and Experience 8:115-129, 1978.
	11	Mark Scott Johnson, The design and implementation of a run-time analysis and interactive debugging environment., 1978
	12	Richard F. Rashid , George G. Robertson, Accent: A communication oriented network operating system kernel, Proceedings of the eighth ACM symposium on Operating systems principles, p.64-75, December 14-16, 1981, Pacific Grove, California, United States
	13	A. Reuveni. The Event Based Language and its Multiple Processor Implementations. PhD thesis, MIT Laboratory for Computer Science, MIT/LCS/TR-226. January, 1980.
	14	W.E. Riddle. An Approach to Software System Behavior Description. In Computer Languages, pages 29-47. Pergamon Press, October, 1979.
	15	Edward Tucker Smith, Debugging techniques for communicating, loosely-coupled processes, 1982
	16	Perq Software Manual Three Rivers Computer Corporation, Pittsburgh, 1982.

CITED BY 16

	Daniel Schulz , Frank Mueller, A thread-aware debugger with an open interface, ACM SIGSOFT Software Engineering Notes, v.25 n.5, p.201-211, Sept. 2000
	Robert Rubin , Larry Rudolph , Dror Zernik, Debugging parallel programs in parallel, ACM SIGPLAN Notices, v.24 n.1, p.216-225, Jan. 1989
	Janice Cuny , George Forman , Alfred Hough , Joydip Kundu , Calvin Lin , Lawrence Snyder , David Stemple, The Ariadne debugger: scalable application of event-based abstraction, ACM SIGPLAN Notices, v.28 n.12, p.85-95, Dec. 1993
	Barton P. Miller , Jong-Deok Choi, A mechanism for efficient debugging of parallel programs, ACM SIGPLAN Notices, v.24 n.1, p.141-150, Jan. 1989
	A. Di Maio , S. Ceri , S. Crespi Reghizzi, Execution monitoring and debugging tool for Ada using relational algebra, ACM SIGAda Ada Letters, v.V n.2, p.109-123, Sep., Oct. 1985
	Jan A. Purchase , Russel L. Winder, Message pattern specifications: a new technique for handling errors in parallel object oriented systems, ACM SIGPLAN Notices, v.25 n.10, p.116-125, Oct. 1990
	B. P. Miller , Jong-Deok Choi, A mechanism for efficient debugging of parallel programs, ACM SIGPLAN Notices, v.23 n.7, p.135-144, July 1988
	Suresh K. Damodaran-Kamal , Joan M. Francioni, Testing races in parallel programs with an OtOt strategy, Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis, p.216-227, August 17-19, 1994, Seattle, Washington, United States
	Yingsha Liao , Donald Cohen, A Specificational Approach to High Level Program Monitoring and Measuring, IEEE Transactions on Software Engineering, v.18 n.11, p.969-978, November 1992
	German S. Goldszmidt , Shaula Yemini, High-level language debugging for concurrent programs, ACM Transactions on Computer Systems (TOCS), v.8 n.4, p.311-336, Nov. 1990
	Richard Snodgrass, A relational approach to monitoring complex systems, ACM Transactions on Computer Systems (TOCS), v.6 n.2, p.157-195, May 1988
	B. Lazzerini , L. Lopriore, Abstraction Mechanisms for Event Control in Program Debugging, IEEE Transactions on Software Engineering, v.15 n.7, p.890-901, July 1989
	A. J. Gordon , R. A. Finkel, Handling Timing Errors in Distributed Programs, IEEE Transactions on Software Engineering, v.14 n.10, p.1525-1535, October 1988
	Keith Marzullo , Robert Cooper , Mark D. Wood , Kenneth P. Birman, Tools for Distributed Application Management, Computer, v.24 n.8, p.42-51, August 1991
	Rick Chern , Kris De Volder, Debugging with control-flow breakpoints, Proceedings of the 6th international conference on Aspect-oriented software development, March 12-16, 2007, Vancouver, British Columbia, Canada
	Guillaume Marceau , Gregory H. Cooper , Jonathan P. Spiro , Shriram Krishnamurthi , Steven P. Reiss, The design and implementation of a dataflow language for scriptable debugging, Automated Software Engineering, v.14 n.1, p.59-86, March 2007