𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Experience Using the C Preprocessor to Implement CCR, Monitor, and CSP Preprocessors for SR

✍ Scribed by Ronald A. Olsson; Carole M. McNamee


Publisher
John Wiley and Sons
Year
1996
Tongue
English
Weight
641 KB
Volume
26
Category
Article
ISSN
0038-0644

No coin nor oath required. For personal study only.

✦ Synopsis


We have recently implemented three preprocessors that, respectively, convert conditional critical region (CCR) notation, monitor notation, and Communicating Sequential Processes (CSP) notation into equivalent programs written in the SR concurrent programming language. The three preprocessors were built with cpp, the C preprocessor. This paper describes our experience in this use of cpp and especially how using cpp influenced the design and implementation of the extended notations. This paper also describes the favorable experience obtained in using the preprocessors in several courses. The results should be of interest to others who are contemplating implementing language extensions.