.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Prospects for Functional Programming in Software Engineering
Banatre, Jean Pierre; Jones, S.B.; Metayer, D. Le
€ 68.67
FREE Delivery in Ireland
Description for Prospects for Functional Programming in Software Engineering
Paperback. 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. Series: Research Reports ESPRIT. Num Pages: 210 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 710.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
1991
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
210
Condition
New
Series
Research Reports ESPRIT
Number of Pages
210
Place of Publication
Berlin, Germany
ISBN
9783540538523
SKU
V9783540538523
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Prospects for Functional Programming in Software Engineering