A Primer for Program Composition Notation

199013 citationsreport

Authors

K. Mani Chandy

Stephen Taylor

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. (Revised December 12, 1990)

Topics & Keywords

Formal Methods in Verification Logic, programming, and type systems Software Testing and Debugging Techniques

Publication Details

DOI: 10.21236/ada452317

Command Palette

A Primer for Program Composition Notation

Authors

Abstract

Topics & Keywords

Publication Details