Prospects for Functional Programming in Software Engineering (Paperback, 1991 ed.)

The aim of this study is to provide evidence of the relevance of functional programming for software engineering, both from a research and from a practical point of view. The software development process is studied and a brief introduction to functional programming and languages is provided. Functional programming tends to promote locality which makes it possible to reason about a component of a program, independent of the rest of the program. The significance of the functional approach for formal program manipulation is illustrated by two important techniques, abstract interpretation and program transformation. Abstract interpretation is applied to the compilation of memory management and program transformation is illustrated with many applications such as program correctness proofs, program analysis and compilation. A correct compiler is described entirely in terms of program transformations. Regarding program construction, it is shown that input/output and state-oriented problems can be described in a purely functional framework.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Research Reports Esprit, 1
Release date:	April 1991
First published:	1991
Authors:	Jean-Pierre Ban atre
Assisted by:	P. Fradet
Authors:	Simon B. Jones
Assisted by:	A. Sinclair
Authors:	Daniel Le Metayer
Dimensions:	235 x 155 x 12mm (L x W x T)
Format:	Paperback
Pages:	210
Edition:	1991 ed.
ISBN-13:	978-3-540-53852-3
Categories:	Books > Computing & IT > Computer programming > Software engineering Promotions
LSN:	3-540-53852-6
Barcode:	9783540538523

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!