Advertisement

Mathematical Foundations of Software Development

Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 Volume 1: Colloquium on Trees in Algebra and Programming (CAAP' 85)

  • Editors
  • Hartmut Ehrig
  • Christiane Floyd
  • Maurice Nivat
  • James Thatcher

Part of the Lecture Notes in Computer Science book series (LNCS, volume 185)

Table of contents

  1. Front Matter
  2. Hartmut Ehrig
    Pages 1-3
  3. Pierpaolo Degano, Ugo Montanari
    Pages 29-51
  4. William L. Scherlis, Dana S. Scott
    Pages 52-59
  5. R. M. Burstall
    Pages 92-96
  6. John C. Reynolds
    Pages 97-138
  7. M. Protasi, M. Talamo
    Pages 139-144
  8. P-L. Curien
    Pages 157-172
  9. D. Kapur, P. Narendran, G. Sivakumar
    Pages 173-187
  10. Deepak Kapur, Mandayam Srivas
    Pages 188-207
  11. Ilaria Castellani
    Pages 223-238
  12. Paul Boehm, Harald-Reto Fonio, Annegret Habel
    Pages 267-283
  13. E. Fachini, M. Napoli
    Pages 298-307
  14. Donald Sannella, Andrzej Tarlecki
    Pages 308-322
  15. Peter Padawitz
    Pages 323-341
  16. E. Astesiano, G. F. Mascari, G. Reggio, M. Wirsing
    Pages 342-358
  17. E. K. Blum, F. Parisi-Presicce
    Pages 359-373
  18. C. Choppy, G. Guiho, S. Kaplan
    Pages 403-415
  19. Back Matter

About these proceedings

Keywords

Algebra Bisimulation Compiler Development Graph Simulation Software Trees automata complexity design logic optimization programming programming language

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-15198-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 1985
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-15198-2
  • Online ISBN 978-3-540-39302-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications