Skip to main content
SpringerLink
Log in

The programming language concurrent pascal

  • Chapter 1.: Concurrency
  • Conference paper
  • First Online:
Language Hierarchies and Interfaces

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 46))

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. Part 1 of the paper explains these concepts informally by means of pictures illustrating a hierarchical design of a simple spooling system. Part 2 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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Wirth, N. The programming language Pascal. Acta Informatica 1, 1 (1971), 35–63.

    Article  Google Scholar 

  2. Brinch Hansen, P. Operating system principles. Prentice-Hall, July 1973.

    Google Scholar 

  3. Hoare, C. A. R. Monitors: an operating system structuring concept. Comm. ACM 17, 10 (Oct. 1974), 549–57.

    Article  Google Scholar 

  4. Brinch Hansen, P. The nucleus of a multiprogramming system. Comm. ACM 13, 4 (Apr. 1970), 238–50.

    Google Scholar 

  5. Brinch Hansen, P. Structured multiprograming. Comm. ACM 15, 7 (July 1972), 574–78.

    Article  Google Scholar 

  6. Brinch Hansen, P. Concurrent programming concepts. ACM Computing Reviews 5, 4 (Dec. 1974), 223–45.

    Google Scholar 

  7. Brinch Hansen, P. A programming methodology for operating system design. Proc. IFIP 74 Congress, (Aug. 1974), 394–97.

    Google Scholar 

  8. Dijkstra, E. W. Hierarchical ordering of sequential processes. Acta Informatica 1, 2 (1971), 115–38.

    Google Scholar 

  9. Simon, H. A. The architecture of complexity. Proc. American Philosophical Society 106, 6 (1962), 468–82.

    Google Scholar 

  10. Dahl, O.-J., and Hoare, C. A. R. Hierarchical program structures. In O.-J. Dahl, E. W. Dijkstra, and C. A. R. Hoare, Structured programming. Academic Press, 1972.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Information Science, California Institute of Technology, USA

    Per Brinch Hansen

Authors
  1. Per Brinch Hansen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Friedrich L. Bauer E. W. Dijkstra A. Ershov M. Griffiths C. A. R. Hoare W. A. Wulf Klaus Samelson

Rights and permissions

Reprints and permissions

Copyright information

© 1976 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hansen, P.B. (1976). The programming language concurrent pascal. In: Bauer, F.L., et al. Language Hierarchies and Interfaces. Lecture Notes in Computer Science, vol 46. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07994-7_50

Download citation

  • DOI: https://doi.org/10.1007/3-540-07994-7_50

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-07994-1

  • Online ISBN: 978-3-540-37972-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation