A High Level Analysis Tool for Concurrent Programs
Paolo Mancarella, Franco Turini · CINECA IRIS Institutial research information system (University of Pisa) · 1983
The design of a tool which analyzes concurrent sequential processes-like programs is presented. The purpose of the analyzer is to favor the understanding of a concurrent program via its simplification with respect to constraints interactively provided by the user. Constraints can be either on the input data or on possible synchronizations. The analyzer is based on parallelism removal techniques and symbolic evaluation techniques. 13 references.