Table of contents

  1. Front Matter
  2. Gordon Plotkin
    Pages 1-17
  3. Paola Giannini, Simona Ronchi, Della Rocca
    Pages 18-37
  4. Wesley Phoa
    Pages 88-111
  5. Carl A. Gunter, Elsa L. Gunter, David B. MacQueen
    Pages 112-130
  6. Trevor Jim, Albert R. Meyer
    Pages 131-151
  7. S. Arun-Kumar, M. Hennessy
    Pages 152-175
  8. Alexander Rabinovich, Boris A. Trakhtenbrot
    Pages 176-203
  9. Bengt Jonsson, Joost N. Kok
    Pages 204-225
  10. Robert L. Constable
    Pages 226-243
  11. A. Pnueli, M. Shalev
    Pages 244-264
  12. Krzysztof R. Apt, Dino Pedreschi
    Pages 265-289
  13. Kazuhiro Fuchi, Koichi Furukawa
    Pages 311-325
  14. M. Abadi, M. Burrows, C. Kaufman, B. Lampson
    Pages 326-345
  15. Bernhard Steffen
    Pages 346-364
  16. Phil Pfeiffer, Rebecca Parsons Selke
    Pages 365-386
  17. Jean-Louis Lassez
    Pages 420-446
  18. Hardi Hungar
    Pages 459-474
  19. Shin-ya Nishizaki
    Pages 513-531
  20. Mark Ryan, José Fiadeiro, Tom Maibaum
    Pages 569-593
  21. Sachio Hirokawa
    Pages 633-650
  22. Franco Barbanera, Mariangiola Dezani-Ciancaglini
    Pages 651-674
  23. Pierre-Louis Curien, Giorgio Ghelli
    Pages 731-749
  24. Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov
    Pages 750-770
  25. Dana S. Scott
    Pages 771-771
  26. Back Matter

About these proceedings


TACS'91 is the first International Conference on Theoretical Aspects of Computer Science held at Tohoku University, Japan, in September 1991. This volume contains 37 papers and an abstract for the talks presented at the conference. TACS'91 focused on theoretical foundations of programming, and theoretical aspects of the design, analysis and implementation of programming languages and systems. The following range of topics is covered: logic, proof, specification and semantics of programs and languages; theories and models of concurrent, parallel and distributed computation; constructive logic, category theory, and type theory in computer science; theory-based systems for specifying, synthesizing, transforming, testing, and verifying software.


Attribut Delegation Konstruktive Logik Programmiersysteme Programming Systems Software-Engineering Typentheorie complexity design logic polymorphism programming testing theory of computation wissenschaftliches Rechen

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-54415-9
  • Online ISBN 978-3-540-47617-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site