Prospects for Functional Programming in Software Engineering: 1 (Research Reports Esprit, 1) - Tapa blanda

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

 
9783540538523: Prospects for Functional Programming in Software Engineering: 1 (Research Reports Esprit, 1)
Tapa blanda
ISBN 10: 3540538526 ISBN 13: 9783540538523
Editorial: Springer, 2008

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2008
Idioma
Inglés
ISBN 10 
3540538526
ISBN 13 
9783540538523
Encuadernación
Tapa blanda
Número de páginas
224
Contacto del fabricante
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Alemania

Otras ediciones populares con el mismo título

9780387538525: Prospects for Functional Programming in Software Engineering (Research Reports Esprit, Project 302, Vol. 1)

Edición Destacada

ISBN 10:  0387538526 ISBN 13:  9780387538525
Tapa blanda