Bezmaksas piegāde pasūtījumiem virs 29€

  • check 10+ miljoni grāmatu
  • check Jaunumi katru dienu
  • check Vairāk nekā 1 miljons klientu mums uzticas
  • check Labas cenas un atlaides
  • check Piegāde visā Eiropā

Prospects for Functional Programming in Software Engineering - Daniel Le Metayer,Simon B. Jones,Jean-Pierre Banatre

angļu valoda
1991-04-03
59,28 € 84,68 €

-30% ar kodu BOOKS

Piegādātāja noliktavā

Piegāde 12-18 darba dienu laikā

30 dienu atgriešanas politika

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, in ... Pilns apraksts

Jums varētu patikt arī

Aprašymas

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.

Vairāk informācijas

Autors Daniel Le Metayer, Simon B. Jones, Jean-Pierre Banatre
Izdevējs Springer Berlin Heidelberg
Izlaides gads 1991
Vāka tips Mīkstais vāks
EAN 9783540538523
Rakstiet savu atsauksmi
Jūs vērtējat: Prospects for Functional Programming in Software Engineering
Jūsu novērtējums:

Goodreads atsauksmes

59,28 € 84,68 €