Advertisement

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
  13. Dexter Kozen, Rohit Parikh
    Pages 313-325
  14. Ben Moszkowski, Zohar Manna
    Pages 371-382
  15. Rohit Parikh, Anne Mahoney
    Pages 396-402
  16. John H. Reif, William L. Scherlis
    Pages 421-441
  17. John C. Reynolds
    Pages 442-442
  18. Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt
    Pages 443-457
  19. B. A. Trakhtenbrot, Joseph Y. Halpern, Albert R. Meyer
    Pages 474-500
  20. Moshe Y. Vardi, Pierre Wolper
    Pages 501-512
  21. Job Zwiers, Arie de Bruin, Willem Paul de Roever
    Pages 513-527
  22. D. Plaisted
    Pages 528-528

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 Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Aerospace