The aim of this study is to provide evidence of the relevance of functional programming for software engineering, both from a research and a practical point of view. Formal techniques such as abstract interpretation and program transformation are presented and applied to practical problems.

This volume contains most of the papers presented at a workshop on research directions in high-level parallel programming languages, held at Mont Saint-Michel, France, in June 1991. The motivation for organizing this workshop came from the emergence of a new class of formalisms for describing parallel computations in the last few years. Linda, Unity, Gamma and the Cham are the most significant representatives of this new class. Formalisms of this family promote simple but powerful language features for describing data and programmes. These proposals appear in different contexts and are...

This text comprises the edited collection of papers presented at the NATO Advanced Study Institute which took place at Altmyunus,