Table of contents

  1. Front Matter
  2. Jacques Garrigue, Didier Rémy
    Pages 20-46
  3. Alexander Aiken, Edward L. Wimmers, Jens Palsberg
    Pages 47-76
  4. Zena M. Ariola, Stefan Blom
    Pages 77-106
  5. Atsushi Ohori
    Pages 107-137
  6. Mario Coppo, Ferruccio Damiani, Paola Giannini
    Pages 138-164
  7. Julia L. Lawall, Peter Thiemann
    Pages 165-190
  8. Yoshiki Kinoshita, Peter W. O'Hearnt, A. John Power, Makoto Takeyama, Robert D. Tennent
    Pages 191-212
  9. Marcello M. Bonsangue, Joost N. Kok
    Pages 213-232
  10. Jean-Jacques Lévy
    Pages 233-249
  11. K. Sere, M. Waldén
    Pages 267-294
  12. Samson Abramsky, Simon Gay, Rajagopal Nagarajan
    Pages 295-320
  13. Carolyn L. Talcott
    Pages 321-364
  14. Franco Barbanera, Stefano Berardi, Massimo Schivalocchi
    Pages 365-390
  15. John Power, Hayo Thielecke
    Pages 391-414
  16. Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce
    Pages 415-438

About these proceedings

Introduction

This book constitutes the refereed proceedings of the Third International Symposium on Theoretical Aspects of Computer Software, TACS'97, held in Sendai, Japan, in September 1997. The book presents 20 revised full papers selected from a total of 46 submissions. Also included are seven invited papers by internationally leading scientists. Among the topics addressed are action calculi, polymorphisms, type theory, lambda calculi, refinement, finite transition systems, model checking, process algebras, logical frameworks, higher-order logics, etc.

Keywords

action calculi calculus lambda calculus logic model checking object polymorphism program refinement program semantics programming real-time security semantics sets type theory

Bibliographic information

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