Software Practice and Experience · 1979 · 77 citations · 7 references
ComputingComputer ScienceProgramming LanguagesConcurrent ProgrammingControl-flow AnalysisData-flow AnalysisProgramming Language DesignAbstractionModular ProgrammingParallel Programming
Abstract This paper informally describes the programming language Pascal‐Plus. The language is an extended version of Pascal, incorporating the envelope construct which is an aid to program modularization and data abstraction, the process, monitor and condition constructs which provide a means for representing multiprocessing programs, and a simulation monitor which provides pseudo‐time control facilities for multiprocessing programs.
7
C. A. R. Hoare · Communications of the ACM · 1974 · 1.5K citations · Full text
Modula: A language for modular multiprogramming
Niklaus Wirth · Software Practice and Experience · 1977 · 403 citations
Report on the programming language Euclid
Butler Lampson, J. J. Horning, Ralph L. London et al. · ACM SIGPLAN Notices · 1977 · 384 citations · Full text
The problem of nested monitor calls
A. M. Lister · ACM SIGOPS Operating Systems Review · 1977 · 68 citations