Abstract
EXTENDED PMD is a methodology for detecting communication- and concurrency-related errors in CSP-based languages. A static analysis of the source program is used to build a model which is augmented with dynamic information from a dedicated hardware monitor. These information allow a post-mortem analysis of the program with automatic detection of errors. EXTENDED PMD has been applied to Joyce[1], a semantic variant of CSP based on a subset of common Pascal.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Hansen, P (1989), “The Joyce Language Report”, In Software — Practice and Experience, Vol.19(6), June 1989.
Kramer J., Magee J., “The Evolving Philosophers Problem: Dynamic Change Management”, In IEEE Transactions on Software Engineering, Vol.l6(11), November 1990.
Arvind, D. K. and Yokotsuka, D., “Debugging concurrent programs using static analysis and run-time hardware monitoring”, In Proc. IEEE Symp. on Parallel and Distributed Processing, Dallas TX, USA, Dec. 1–5, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Arvind, D.K., Knight, J. (1992). Detection of concurrency-related errors in Joyce. In: Bougé, L., Cosnard, M., Robert, Y., Trystram, D. (eds) Parallel Processing: CONPAR 92—VAPP V. VAPP CONPAR 1992 1992. Lecture Notes in Computer Science, vol 634. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55895-0_407
Download citation
DOI: https://doi.org/10.1007/3-540-55895-0_407
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55895-8
Online ISBN: 978-3-540-47306-0
eBook Packages: Springer Book Archive