Abstract
A new method for the specification of parallel programs is presented by example case studies. The essential focus of software development is the expression of groupings of program fragments and the inter-, intra-relationships thereof. Groups of computations are mapped to particular integer points contained in one or more polytopes. Spatial, temporal, hierarchal or other types of relationships over these polytopes can be represented in this framework. An informal review of the geometrical semantics for such geometrical representations is provided in this paper. Practical observations are presented of, in particular, how parallel programs can be expressed in this framework.