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

About these proceedings

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-54415-1
  • Copyright Information Springer-Verlag 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
  • About this book