Community Research and Development Information Service - CORDIS


ESPRIT Project 302 was concerned with the analysis of the complexity of functional programs and their potential for parallel execution, and with the realisation of analytical methods in the form of a software tool, ACE. This book illustrates the importance of functional programming in software engineering. Subjects discussed include programming environments, functional programming, program analysis by abstract interpretation, and input and output in functional languages.

Additional information

Authors: BANATRE J-P, IRISA, Campus Universitaire de Beaulieu, Rennes (FR);LE MÉTAYER D, IRISA, Campus Universitaire de Beaulieu, Rennes (FR);JONES S B, University of Stirling, Department of Computing Science and Mathematics, Stirling (GB)
Bibliographic Reference: EUR 13016 EN (1991) 210 pp.
Availability: Springer-Verlag GmbH & Co. KG, Postfach 10 52 80, Tiergartenstraße 17, D-6900 Heidelberg 1 (DE)
ISBN: ISBN 3-540-53852-6;ISBN 0
Record Number: 199110454 / Last updated on: 1994-12-02
Original language: en
Available languages: en