A Primer for Program Composition Notation

reportActive / Technical Report | Accession Number: ADA452317 | Open PDF

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.

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release
Distribution Statement:
Approved For Public Release; Distribution Is Unlimited.

RECORD

Collection: TR
Identifying Numbers
Subject Terms