Overview
Part of the book series: Research Reports Esprit (ESPRIT, volume 1)
Part of the book sub series: Project 302 (2151)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
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