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
  17. Benjamin Werner
    Pages 530-546
  18. Richard Mayr
    Pages 547-561
  19. Philippa Gardner, Masahito Hasegawa
    Pages 583-603
  20. Gérard Huet, Henri Laulhère
    Pages 604-610
  21. Martín Abadi
    Pages 611-638
  22. Back Matter

About these proceedings


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.


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
  • Copyright Information Springer-Verlag Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods