Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1997

Theoretical Aspects of Computer Software

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

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)

Conference series link(s): TACS: International Symposium on Theoretical Aspects of Computer Software

Conference proceedings info: TACS 1997.

Sections

Buy it now

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

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

Table of contents (27 papers)

  1. Front Matter

    PDF

  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

  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
Back to top

Other Volumes

  1. Theoretical Aspects of Computer Software

Back to top

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation