Detection of concurrency-related errors in Joyce

D. K. Arvind, J. Knight

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationParallel Processing: CONPAR 92—VAPP V
Subtitle of host publicationSecond Joint International Conference on Vector and Parallel Processing Lyon, France, September 1–4, 1992 Proceedings
EditorsLuc Bougé, Michel Cosnard, Yves Robert, Denis Trystram
Place of PublicationBerlin, Heidelberg
PublisherSpringer
Pages127-132
Number of pages6
ISBN (Print)978-3-540-47306-0
DOIs
Publication statusPublished - 1992

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume634
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint

Dive into the research topics of 'Detection of concurrency-related errors in Joyce'. Together they form a unique fingerprint.

Cite this