H ? « ‹ ← → › »

Language peer sets for Concurrent Pascal:
United States↑
United States/1972↑
Designed 1972 ↑
1970s languages ↑
Third generation↑
High Cold War↑
Genus Pascals ↑
Multi-purpose ↑
Pascals↑
Wirth Algols↑
Generation of Algol 60 ↑
Pascals/1972↑
Wirth Algols/1972↑
Generation of Algol 60/1972↑
Pascals/United States↑
Wirth Algols/United States↑
Generation of Algol 60/United States↑
Multi-purpose ↑
Multi-purpose/1972↑
Multi-purpose/us ↑

Concurrent Pascal(ID:578/con009)

Dialect of Pascal which supports monitors  

alternate simple view
Country: United States
Designed 1972
Published: 1972
Genus: Pascals
Sammet category: Multi-purpose

Brinch Hansen, 1972-75, implimented by Brinch Hansen's PhD student Hartmann after an earlier attempt by 6 graduate students.

Dialect of Pascal which supports monitors (the first language to do so). All access to hardware devices through monitor calls, also processes and classes.  Brinch Hansen had begun with Algol 60 device processes, then graduated to Pascal after Wirth published his description. Seeds of CP in the book on systems programming, then took the idea fo the virtual machine from Nori and the Simula class from Nygaard and Dahl.

Several experimental versions were made, and used as part of concurrency systems developed toy operating systems (Deamy (1974), Pilot (1975)) before writing Solo (1975) in a mixture of CP and SP.
This was then extended (still in the Solo system) have a ring network of PDP11s. Brinch Hansen and Staunstrup added (1978) transition commands, with process synchronizations represented as state transitions, and remote procedure calls (called distributed processes) in 1980.

The Solo operating system was distributed throughout the world with the CP and SP compilers, and became a kind of lingua franca for concurrency.

Brinch Hansen revisited the simpler ideas in Joyce and Edison.

People:
Related languages
Pascal → Concurrent Pascal   Extension of
Concurrent Pascal → Capsule   Incorporated some features of
Concurrent Pascal → CCNPascal   Extension of
Concurrent Pascal → Concurrent Pascal-S   Influence
Concurrent Pascal → Edison   Evolution of
Concurrent Pascal → GYVE   Influence
Concurrent Pascal → Joyce   Subset
Concurrent Pascal → Sequential Pascal   Extension of
Concurrent Pascal → Simone   Influence
Concurrent Pascal → Turing   Evolution of
References:
  • Hansen, Per Brinch (1975) Hansen, Per Brinch "The Programming Language Concurrent Pascal"
          in (1975) IEEE Transactions on Software Engineering 1(2) June 1975
  • Hartmann, A. (1975) Hartmann, A. C. September. A Concurrent Pascal compiler for minicomputers. Ph.D. Thesis. Pasadena CA: Information Science, California Institute of Technology. 1975
          in (1975) IEEE Transactions on Software Engineering 1(2) June 1975
  • Brinch Hansen, Per (1977) Brinch Hansen, Per "The architecture of concurrent programs" Englewood Cliffs, N.J., Prentice-Hall 1977
          in (1975) IEEE Transactions on Software Engineering 1(2) June 1975
  • Hartmann, A. C. (1977) Hartmann, A. C. "A Concurrent Pascal compiler for minicomputers LNCS 50 NY, Springer-Verlag, 1977
          in (1975) IEEE Transactions on Software Engineering 1(2) June 1975
  • Hoppe, Jiri (1977) Hoppe, Jiri "A comparison of MODULA with other system programming languages" pp129-134
          in [Proceedings] (1977) Proceedings of the Fifth International Computer Symposium, 1977
  • Silberschatz, Abraham; K; Eburtz, Richard B.; and (1977) Silberschatz, Abraham; K; Eburtz, Richard B.; and Bernstein, Arthur J. Extending Concurrent PASCAL to allow dynamic resource management. IEEE Trans. Softw. Eng. SE-3, 3 (May 1977), 210-217.
          in [Proceedings] (1977) Proceedings of the Fifth International Computer Symposium, 1977
  • Rohlfing, H. (1978) Rohlfing, H. review of Silberschatz et al 1977 Abstract
          in (1978) ACM Computing Reviews 19(03) March 1978
  • Shrivastava, S.K. (1978) Shrivastava, S.K. "Concurrent Pascal with Backward Error-recovery" CS-TR: 127, Department of Computing Science, University of Newcastle, 1978 Abstract Online copy
          in (1978) ACM Computing Reviews 19(03) March 1978
  • Wupit (1978) Wupit, A. "Experimenting with Concurrent PASCAL and SOLO" KUL. Afdeling toegepaste wiskunde en programmatie. Project TWIX technical reports ; 14 Leuven 1978
          in (1978) ACM Computing Reviews 19(03) March 1978
  • Silberschatz, A (1979) Silberschatz, A "On the safety of the IO primitive in concurrent PASCAL" Abstract Online copy
          in (1979) The Computer Journal 22(2) May 1979
  • Henrik Schneider and Eric Jul (1981) Henrik Schneider and Eric Jul "Users Manual for the Intellec MDS Concurrent Pascal System." DIKU TECHNICAL REPORTS 81/12 Datalogisk Institut Københavns Universitet 1981
          in (1979) The Computer Journal 22(2) May 1979
  • Steensgaard-Madsen, J. (1981) Steensgaard-Madsen, J. " Statement-Oriented Approach to Data Abstraction" pp1-10 Extract: Introduction
          in (1981) TOPLAS 3(1) January 1981
  • Holt, R. C., J. R. Cordy, et al. (1982) Holt, R. C., J. R. Cordy, et al. "An Introduction to S/SL: Syntax/Semantic Language."
          in (1982) TOPLAS 4(2) April 1982
  • Kieburtz, R and Silberschatz, A (1982) Kieburtz, R and Silberschatz, A "On the static access-control mechanism in concurrent Pascal" pp17-21 Abstract
          in (1982) The Computer Journal 25(1) 1984
  • Brinch Hansen, Per (1993) Brinch Hansen, Per "Monitors and concurrent Pascal: a personal history" pp1-35 Abstract DOI
          in [HOPL II] (1993) [ACM SIGPLAN] SIGPLAN Notices 28(03) March 1993 The second ACM SIGPLAN conference on History of programming languages (HOPL II)
  • Brinch Hansen, Per (2002) Brinch Hansen, Per "The Origin of Concurrent Programming: From Semaphores to Remote Procedure Calls" 2002 Springer-Verlag
          in [HOPL II] (1993) [ACM SIGPLAN] SIGPLAN Notices 28(03) March 1993 The second ACM SIGPLAN conference on History of programming languages (HOPL II)
  • (2002) Library of Congress Subject Headings C65
          in [HOPL II] (1993) [ACM SIGPLAN] SIGPLAN Notices 28(03) March 1993 The second ACM SIGPLAN conference on History of programming languages (HOPL II)
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder