CaltechAUTHORS
  A Caltech Library Service

The Programming Language Concurrent Pascal

Brinch Hansen, Per (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

[img]
Preview
PDF - Published Version
See Usage Policy.

875Kb

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechAUTHORS:20121003-154056925

Abstract

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.


Item Type:Article
Related URLs:
URLURL TypeDescription
http://dx.doi.org/10.1109/TSE.1975.6312840DOIUNSPECIFIED
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6312840PublisherUNSPECIFIED
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.
Funders:
Funding AgencyGrant Number
NSFDCR74-17331
Record Number:CaltechAUTHORS:20121003-154056925
Persistent URL:http://resolver.caltech.edu/CaltechAUTHORS:20121003-154056925
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.
ID Code:34677
Collection:CaltechAUTHORS
Deposited By: Ruth Sustaita
Deposited On:04 Oct 2012 19:25
Last Modified:07 Jun 2013 17:44

Repository Staff Only: item control page