Prospects for Functional Programming in Software Engineering

ISBN-13: 9783540538523 / Angielski / Miękka / 1991 / 210 str.

Simon B. Jones; Daniel Le Metayer; Jean-Pierre Banatre

Opis

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.