Static analysis for distributed prograph

Lanaspre, Benoît (1997) Static analysis for distributed prograph. University of Southampton, Doctoral Thesis.

Record type: Thesis (Doctoral)

Abstract

Prograph [Cox and Pietrzykowski 1988] provides a sophisticated application builder, together with a visual programming language, supported by a powerful program development environment. The programming language uses an object-oriented model for data abstraction and the logic is based on a dataflow model of computation, specified graphically.

Graphical dataflow gives programmers a clear view of the potential for exploitation of concurrency and so the Prograph language appears to give some leverage for the programming of parallel or distributed systems. However parallel scheduling of operations based solely on the dataflow dependencies might result in the correct execution of programs in a distributed environment.

This thesis investigates the issues to be addressed to develop a distributed version of Prograph. A first issue is that of a programming model for Distributed Prograph and a second issue is that of the design of mechanisms to implement the model. The need for a static analysis to support the implementation of the model is justified.

The proposed analysis is divided into three logical parts: a type inference, an effect inference and an effect synthesis. Suitable representations for the type and effect information are presented. The inference algorithms are described and the implementation of the analysis tool and test results are discussed.

Text

615235.pdf - Version of Record

Available under License University of Southampton Thesis Licence.

Download (11MB)