Table of contents

  1. Front Matter
  2. Joseph A. Goguen, José Meseguer
    Pages 1-22
  3. J. Y. Girard, Y. Lafont
    Pages 52-66
  4. Dominique Clément
    Pages 67-81
  5. Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini
    Pages 96-110
  6. C. Percebois, I. Futó, I. Durand, C. Simon, B. Bonhoure
    Pages 126-139
  7. Gary Lindstrom, Lal George, Dowming Yeh
    Pages 140-154
  8. Włodzimierz Drabent, Jan Małuszyński
    Pages 167-181
  9. Alberto Pettorossi, Andrzej Skowron
    Pages 182-196
  10. Keith L. Clark, Ian T. Foster
    Pages 212-242
  11. David H. D. Warren
    Pages 243-259
  12. Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso
    Pages 276-290
  13. Val Breazu-Tannen, Thierry Coquand
    Pages 291-307

About these proceedings

Keywords

algorithms computer development language logic programming programming language semantics simulation software

Bibliographic information

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