Skip to main content
SpringerLink
Log in

Theoretical Aspects of Computer Software

Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. Martín Abadi
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Takayasu Ito
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: TACS 1997.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (27 papers)

  1. Front Matter

    Download chapter PDF

  2. Strong normalisation in higher-order action calculi

    • Robin Milner
    Pages 1-19

  3. Extending ML with semi-explicit higher-order polymorphism

    • Jacques Garrigue, Didier Rémy
    Pages 20-46

  4. Optimal representations of polymorphic types with subtyping (Extended abstract)

    • Alexander Aiken, Edward L. Wimmers, Jens Palsberg
    Pages 47-76

  5. Cyclic lambda calculi

    • Zena M. Ariola, Stefan Blom
    Pages 77-106

  6. Type system for specializing polymorphism

    • Atsushi Ohori
    Pages 107-137

  7. On strictness and totality

    • Mario Coppo, Ferruccio Damiani, Paola Giannini
    Pages 138-164

  8. Sound specialization in the presence of computational effects

    • Julia L. Lawall, Peter Thiemann
    Pages 165-190

  9. An axiomatic approach to binary logical relations with applications to data refinement

    • Yoshiki Kinoshita, Peter W. O'Hearnt, A. John Power, Makoto Takeyama, Robert D. Tennent
    Pages 191-212

  10. Infinitary domain logic for finitary transition systems

    • Marcello M. Bonsangue, Joost N. Kok
    Pages 213-232

  11. Some results in the join-calculus

    • Jean-Jacques Lévy
    Pages 233-249

  12. Local model checking for value-passing processes (Extended abstract)

    • J. Rathke, M. Hennessy
    Pages 250-266

  13. Data refinement of remote procedures

    • K. Sere, M. Waldén
    Pages 267-294

  14. A type-theoretic approach to deadlock-freedom of asynchronous systems

    • Samson Abramsky, Simon Gay, Rajagopal Nagarajan
    Pages 295-320

  15. Composable semantic models for actor theories

    • Carolyn L. Talcott
    Pages 321-364

  16. “Classical” programming-with-proofs in λ Sym PA : An analysis of non-confluence

    • Franco Barbanera, Stefano Berardi, Massimo Schivalocchi
    Pages 365-390

  17. Environments, continuation semantics and indexed categories

    • John Power, Hayo Thielecke
    Pages 391-414

  18. Comparing object encodings

    • Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce
    Pages 415-438

  19. System F with width-subtyping and record updating

    • Erik Poll
    Pages 439-457

  20. Relational interpretations of recursive types in an operational setting (Summary)

    • Lars Birkedal, Robert Harper
    Pages 458-490
Back to top

Other volumes

  1. Theoretical Aspects of Computer Software

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation