Skip to main content
SpringerLink
Log in
Book cover

Prospects for Functional Programming in Software Engineering

  • Book
  • © 1991

Overview

Authors:
  1. Jean-Pierre Banatre

    1. Université Rennes I INRIA-IRISA, Rennes CX, France

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Simon B. Jones
    View author publications

    You can also search for this author in PubMed   Google Scholar

  3. Daniel Le Metayer
    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Research Reports Esprit (ESPRIT, volume 1)

Part of the book sub series: Project 302 (2151)

Buy print copy

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Keywords

  • Compiler
  • Formale Methoden
  • Functional languages
  • Program transformation
  • Programmierumgebung
  • Programming environments
  • Software Entwicklung
  • Software-Engineering
  • Sprachen
  • formal methods
  • software engineering

Authors and Affiliations

  • Université Rennes I INRIA-IRISA, Rennes CX, France

    Jean-Pierre Banatre

Bibliographic Information

  • Book Title: Prospects for Functional Programming in Software Engineering

  • Authors: Jean-Pierre Banatre, Simon B. Jones, Daniel Le Metayer

  • Series Title: Research Reports Esprit

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1991

  • Softcover ISBN: 978-3-540-53852-3Published: 03 April 1991

  • Edition Number: 1

  • Number of Pages: IX, 210

Publish with us

Policies and ethics

Back to top

Search

Navigation