The papers in this volume accepted for the conference on foundations of software technology and theoretical computer science project research results in - Algorithmics: design and analysis of graph, geometric, algebraic and VLSI algorithms; data structures; average analysis; complexity theory; parallel parsing. - Concurrency: algebraic semantics, event structures. - Logic programming: algebraic properties, semantics. - Software technology: program transformations, algebraic methods. These results together with the formal techniques employed to present them reflect current trends pursued by leading research groups around the world. The papers treat their topics in depth by carefully reviewing existing results, developing and demonstrating new techniques and suggesting further directions for research.

In November 1989 we organised a workshop on software re-use, inviting members of the leading research teams across Europe. In retrospect, we realise that we missed a few research teams out, but nevertheless we did have a very fruitful workshop. This book is the outcome of that meeting. Prior to the workshop, teams submitted short position papers, and at the workshop made very short presentations of these. Most of the time was spent in four parallel sessions, and the reports of these sessions are given in Chapter 2. After the workshop we invited the attendees to revise and resubmit their papers in the light of the workshop, and it is these updated papers that appear in Chapter 4 onwards. The papers are in alphabetical order of first author. To complete this text we have added an introduction to software re-use as a first chapter-this was prepared by Liesbeth Dusink. We have added a comprehensive bibliography as Chapter 3, merging the bibliographies accumulated at Delft and at Brunei. To be able to organise the workshop we were sponsored by SERC, the Software Engineering Research Centre in Utrecht, Netherlands. November 1990 Liesbeth Dusink Pat Hall Contents Ust of Contributors . . . .. . .. . .. .. . . .. . . .. . . .. . .. . .. .. .. . . .. .. .. . . . .. . . . . . . . . . . . . . . xi . . . .