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 book constitutes the refereed proceedings of the Second International Conference on Coordination Models and Languages, COORDINATION '97, held in Berlin, Germany, in September 1997.
The 22 revised full papers and 6 posters presented in the book were carefully reviewed and selected from a total of 69 submissions. Also included are three invited papers. The papers are devoted to an emerging class of languages and models, which have been variously termed coordination languages, configuration languages, and architectural description languages. These formalisms provide a clean separation...

ETAPS2002wasthe?fthinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8 invited lectures (not including those speci?c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopmentprocess, includingspeci?cation,...

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...