Hansen, Per Brinch (1975) The Programming Language Concurrent Pascal. IEEE Transactions on Software Engineering, 1 (2). pp. 199-207. ISSN 2298-5589 http://resolver.caltech.edu/CaltechAUTHORS:20121003-154056925
- Published Version
See Usage Policy.
Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechAUTHORS:20121003-154056925
The paper describes a new programming language for structured programming of computer operating systems. It extends the sequential programming language Pascal with concurrent programming tools called processes and monitors. Section I explains these concepts informally by means of pictures illustrating a hierarchical design of a simple spooling system. Section II uses the same example to introduce the language notation. The main contribution of Concurrent Pascal is to extend the monitor concept with an explicit hierarchy Of access' rights to shared data structures that can be stated in the program text and checked by a compiler.
|Additional Information:||© 1975 IEEE. Manuscript received February 1, 1975. This project is supported by the National Science Foundation under Grant DCR74-17331. The author is with the Department of Information Science, California Institute of Technology, Pasadena, Calif. 91125. It is a pleasure to acknowledge the immense value of a continuous exchange of ideas with C. A. R. Hoare on structured multiprogramming. I also thank my students L. Medina and R. Varela for their helpful comments on this paper.|
|Official Citation:||Hansen, Per Brinch; , "The programming language Concurrent Pascal," Software Engineering, IEEE Transactions on , vol.SE-1, no.2, pp.199-207, June 1975 doi: 10.1109/TSE.1975.6312840 URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6312840&isnumber=6312829|
|Usage Policy:||No commercial reproduction, distribution, display or performance rights in this work are provided.|
|Deposited By:||Ruth Sustaita|
|Deposited On:||04 Oct 2012 19:25|
|Last Modified:||27 Dec 2012 02:48|
Repository Staff Only: item control page