Pascal user manual and report; 3rd ed.
Pascal user manual and report; 3rd ed.
Distributed processes: a concurrent programming concept
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
ICSE '79 Proceedings of the 4th international conference on Software engineering
Towards the construction of verifiable software systems
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
ACM SIGPLAN Notices
| Hi-index | 0.00 |
This paper presents both a description of a programming language and development system suitable for writing practical asynchronous systems and several examples of its use. Path Pascal is a high level programming language which includes objects for encapsulation, processes which execute independently, pathexpressions for synchronization, and provisions for coding interrupt processes. Path Pascal allows code for synchronization and coordination of asynchronous systems to be written entirely in a high level language and is currently implemented on several computers: the CDC Cyber family, the entire PDP-11 family, the Z80 microprocessor, and the PRIME 500. Path Pascal has been used to construct model operating systems, including software to share several I/O devices and a CPU among a stream of batch Jobs.