A Primer for Program Composition Notation

Abstract
This primer describes a notation for program composition. Program composition is putting programs together to get larger ones. PCN (Program Composition Notation) is a programming language that allows programmers to compose programs so that composed programs execute efficiently on uniprocessors, distributed-memory multicomputers or shared-memory multiprocessors. The programs that are put together using PCN can be in PCN itself or in C or in Fortran. Later implementations of PCN will allow composition of programs in notations in addition to C and Fortran. PCN is implemented on a variety of sequential and concurrent architectures including networks of UNiX-based workstations (Sun and NeXT), Symult 2010, Intel iPSC, BBN Butterfly, and Sequent Symmetry. Several programming examples are presented in the primer. The examples are presented with methods for reasoning about the correctness of PCN programs.

This publication has 0 references indexed in Scilit: