Nemokamas pristatymas nuo 29€

  • check 10 + milijonai knygų
  • check Naujienos (kiekvieną dieną)
  • check 1 + mln. klientų mus pasitiki
  • check Geros kainos % Nuolaidos
  • check Nemokamas pristatymas nuo 29 eur

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

Anglų
1991-04-03
63,51 € 84,68 €

-25% su kodu BOOKS

Turime sandėlyje pas mūsų tiekėją

Pristatymas per 12-18 d.d.

30 dienų grąžinimo 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 ... Visas aprašymas

Jums taip pat gali patikti

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.

Daugiau informacijos

Autorius Daniel Le Metayer, Simon B. Jones, Jean-Pierre Banatre
Leidėjas Springer Berlin Heidelberg
Išleidimo metai 1991
Viršelio tipas Minkšti viršeliai
EAN 9783540538523
Parašykite savo atsiliepimą
Jūs peržiūrėjote: Prospects for Functional Programming in Software Engineering
Jūsų įvertinimas:

Goodreads Atsiliepimai

63,51 € 84,68 €