Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
Prospects for Functional Programming in Software Engineering (Paperback, 1991 ed.)
Loot Price: R1,519
Discovery Miles 15 190
|
|
Prospects for Functional Programming in Software Engineering (Paperback, 1991 ed.)
Series: Research Reports Esprit, 1
Expected to ship within 10 - 15 working days
|
Donate to Against Period Poverty
Total price: R1,539
Discovery Miles: 15 390
|
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
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!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.