Theoretical Aspects of Computer Software

4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings

  • Naoki Kobayashi
  • Benjamin C. Pierce
Conference proceedings TACS 2001

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2215)

Table of contents

  1. Front Matter
    Pages I-XV
  2. Invited Talk 1

    1. Luís Caires, Luca Cardelli
      Pages 1-37
  3. Session 1

    1. Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
      Pages 38-63
    2. Daisuke Hoshina, Eijiro Sumii, Akinori Yonezawa
      Pages 64-81
    3. Martín Abadi, Jan Jürjens
      Pages 82-94
  4. Invited Talk 2

    1. Kazunori Ueda
      Pages 95-126
  5. Session 2

    1. Cosimo Laneve, Joachim Parrow, Björn Victor
      Pages 127-144
  6. Session 3

  7. Invited Talk 3

  8. Session 4

  9. Invited Talk 4

    1. Christine Paulin-Mohring
      Pages 298-315
  10. Session 5

    1. Javier Esparza, Antonín Kučera, Stefan Schwoon
      Pages 316-339
    2. Joachim Niehren, Tim Priesnitz
      Pages 360-384
  11. Session 6

  12. Invited Talk 5

    1. Anindya Banerjee, Nevin Heintze, Jon G. Riecke
      Pages 420-447
  13. Session 7

    1. Marcello M. Bonsangue, Joost N. Kok
      Pages 448-458
    2. Philip Wadler
      Pages 468-491
  14. Invited Talk 6

    1. Daniel Jackson, Alan Fekete
      Pages 492-513
  15. Session 8

    1. Lennart Beringer
      Pages 514-534
    2. Andrei Serjantov, Peter Sewell, Keith Wansbrough
      Pages 535-559
  16. TACS Open Lecture

    1. Benjamin C. Pierce, Jérôme Vouillon
      Pages 560-560
  17. Back Matter
    Pages 561-561

About these proceedings


This volume constitutes the proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001) held at Tohoku U- versity, Sendai, Japan in October 2001. The TACS symposium focuses on the theoretical foundations of progr- ming and their applications. As this volume shows, TACS is an international symposium, with participants from many di?erent institutions and countries. TACS 2001 was the fourth symposium in the TACS series, following TACS’91, TACS’94, and TACS’97, whose proceedings were published as Volumes 526, 789, and 1281, respectively, of Springer-Verlag’s Lecture Notes in Computer Science series. The TACS 2001 technical program consisted of invited talks and contributed talks. In conjunction with this program there was a special open lecture by Benjamin Pierce; this lecture was open to non-registrants. TACS 2001 bene?ted from the e?orts of many people; in particular, members of the Program Committee and the Organizing Committee. Our special thanks go to the Program Committee Co-chairs: Naoki Kobayashi (Tokyo Institute of Technology) Benjamin Pierce (University of Pennsylvania).


Action Calculi Automat Concurrency Control-Flow Analysis Model Checking Program Logic Program Semantics automata lambda calculus logic

Editors and affiliations

  • Naoki Kobayashi
    • 1
  • Benjamin C. Pierce
    • 2
  1. 1.Department of Computer ScienceTokyo Institute of Technology Graduate School of Information Science and EngineeringTokyoJapan
  2. 2.Department of Computer and Information ScienceUniversity of PennsylvaniaPhiladelphiaUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42736-0
  • Online ISBN 978-3-540-45500-4
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment