Communicating sequential processes
Communicating sequential processes
Joyce—a programming language for distributed systems
Software—Practice & Experience
The programming language SuperPascal
Software—Practice & Experience
Communications of the ACM
Algorithms for scientific computation
Communications of the ACM
Opportunities and Constraints of Parallel Computing
Opportunities and Constraints of Parallel Computing
Brinch Hansen on Pascal Compilers
Brinch Hansen on Pascal Compilers
Principles of Programming Languages
Principles of Programming Languages
Operating system principles
Systematic Programming: An Introduction
Systematic Programming: An Introduction
Design of Well-Structured and Correct Programs
Design of Well-Structured and Correct Programs
Data Structures and Algorithms
Data Structures and Algorithms
Structured System Programming
Gypsy: A language for specification and implementation of verifiable programs
Proceedings of an ACM conference on Language design for reliable software
Report on the programming language Euclid
ACM SIGPLAN Notices
| Hi-index | 0.00 |
Parallel computers will not become widely used until scientists and engineers adopt a common programming language for publication of parallel scientific algorithms. This paper describes the publication language SuperPascal by examples. SuperPascal extends Pascal with deterministic statements for parallel processes and synchronous message communication. The language permits unrestricted combinations of recursive procedures and parallel statements. SuperPascal omits ambiguous and insecure features of Pascal. Restrictions on the use of variables enable a single-pass compiler to check that parallel processes are disjoint, even if the processes use procedures with global variables. A portable implementation of SuperPascal has been developed on a Sun workstation under Unix.