Table of contents

  1. Front Matter
  2. Krzysztof R. Apt
    Pages 1-17
  3. J. W. de Bakker, J. I. Zucker
    Pages 18-33
  4. J. A. Bergstra, J. W. Klop, J. V. Tucker
    Pages 34-44
  5. Robert Cartwright
    Pages 86-100
  6. E. Clarke, B. Mishra
    Pages 101-115
  7. R. L. Constable
    Pages 116-128
  8. Ch. Crasemann, H. Langmaack
    Pages 129-146
  9. Erwin Engeler
    Pages 193-205
  10. S. M. German, E. M. Clarke Jr., J. Y. Halpern
    Pages 206-220
  11. J. A. Goguen, R. M. Burstall
    Pages 221-256
  12. Orna Grümberg, Nissim Francez, Shmuel Katz
    Pages 257-278

About these proceedings

Keywords

ALGOL Programs algorithms logic programming language semantics

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-12896-4
  • Copyright Information Springer-Verlag 1984
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-12896-0
  • Online ISBN 978-3-540-38775-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book