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

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 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
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology