Prospects for Functional Programming in Software Engineering: 1 (Research Reports Esprit)

by Jean-PierreBanatre (Author), SimonB.Jones (Author), Daniel Le Metayer (Author), P.Fradet (Assistant), A . Sinclair (Assistant)

• New

  Paperback
  1991

  $58.94

  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.