Advertisement

Table of contents

  1. Front Matter
  2. Heinz Zemanek
    Pages 1-42
  3. Joseph E. Stoy
    Pages 43-99
  4. C. B. Jones
    Pages 100-143
  5. Dines Bjørner
    Pages 144-215
  6. Stephen N. Zilles
    Pages 248-272
  7. R. M. Burstall, J. A. Goguen
    Pages 292-332
  8. Bálint Dömölki
    Pages 333-353
  9. Peter Lucas
    Pages 390-438
  10. H. Gerstmann, A. Ollongren
    Pages 439-450
  11. P. E. Lauer, M. W. Shields, E. Best
    Pages 451-503
  12. David Park
    Pages 504-526
  13. Heinz Zemanek
    Pages 554-563
  14. Back Matter

About these proceedings

Keywords

design distributed systems language modeling programming programming language semantics software

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-10007-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 1980
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-10007-2
  • Online ISBN 978-3-540-38136-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site