The Generic Development Language Deva

by Martin Simons, Matthias Weber, Christine Lafontaine

This book summarizes work done by the authors under the Esprit Tool Use project (1985-1990), at GMD in Karlsruhe and at Berlin University of Technology. It provides a comprehensive description of the generic development language Deva designed by the authors. Much of the research reported in this monograph is inspired by the work of Michel Sintzoff on formal program development; he contributed an enlightening Foreword. Deva is essentially a typed functional...

• Format: Paperback
• Language: English
• ISBN: 3540573356
• ISBN13: 9783540573357
• Release Date: October 1993
• Publisher: Springer
• Length: 251 Pages
• Weight: 0.84 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"