Prospects for Functional Programming in Software Engineering

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.

Dettagli sul prodotto

• Autori: Jean-Pierr Banatre, Jean-Pierre Banatre, Simon Jones, Simon B Jones, Simon B. Jones, Da Le Metayer, Daniel Le Metayer
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 01.01.1991
• EAN: 9783540538523
• ISBN: 978-3-540-53852-3
• Pagine: 210
• Peso: 322 g
• Serie: Research Reports Esprit / Project 302; Research Reports Esprit; Project 302; Research Reports Esprit; Project 302
• Categoria: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica