+612 9045 4394
 
CHECKOUT
Prospects for Functional Programming in Software Engineering : Research Reports Esprit / Project 302 - Jean Pierre Banatre

Prospects for Functional Programming in Software Engineering

Research Reports Esprit / Project 302

Paperback

Published: 3rd April 1991
Ships: 5 to 9 business days
5 to 9 business days
$111.05
or 4 easy payments of $27.76 with Learn more
if ordered within

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.

ISBN: 9783540538523
ISBN-10: 3540538526
Series: Research Reports Esprit / Project 302
Audience: General
Format: Paperback
Language: English
Number Of Pages: 210
Published: 3rd April 1991
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.19
Weight (kg): 0.32