+612 9045 4394
 
CHECKOUT
Theoretical Aspects of Computer Software : Third International Symposium, Tacs'97, Sendai, Japan, September 23 - 26, 1997, Proceedings - Martin Abadi

Theoretical Aspects of Computer Software

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

By: Martin Abadi (Editor), Takayasu Ito (Editor)

Paperback

Published: 27th August 1997
Ships: 5 to 9 business days
5 to 9 business days
$181.29
or 4 easy payments of $45.32 with Learn more

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.

Strong Normalisation in Higher-Order Action Calculip. 1
Extending ML with Semi-explicit Higher-Order Polymorphismp. 20
Optimal Representations of Polymorphic Types with Subtypingp. 47
Cyclic Lambda Calculip. 77
Type System for Specializing Polymorphismp. 107
On Strictness and Totalityp. 138
Sound Specialization in the Presence of Computational Effectsp. 165
An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinementp. 191
Infinitary Domain Logic for Finitary Transition Systemsp. 213
Some Results in the Join-Calculusp. 233
Local Model Checking for Value-Passing Processesp. 250
Data Refinement of Remote Proceduresp. 267
A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systemsp. 295
Composable Semantic Models for Actor Theoriesp. 321
"Classical" Programming-with-Proofs in [actual symbol not reproducible]: An Analysis of Non-confluencep. 365
Environments, Continuation Semantics and Indexed Categoriesp. 391
Comparing Object Encodingsp. 415
System F with Width-Subtyping and Record Updatingp. 439
Relational Interpretations of Recursive Types in an Operational Settingp. 458
Extending a Logical Framework with a Modal Connective for Validityp. 491
Using Reflection to Build Efficient and Certified Decision Proceduresp. 515
Sets in Types, Types in Setsp. 530
Combining Petri Nets and PA-Processesp. 547
Symbolic Model-Checking Method Based on Approximations and Binary Decision Diagrams for Real-Time Systemsp. 562
Types and Models for Higher-Order Action Calculip. 583
Finite-State Transducers as Regular Bohm Treesp. 604
Secrecy by Typing in Security Protocolsp. 611
Author Indexp. 639
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540633884
ISBN-10: 354063388X
Series: Lecture Notes in Computer Science,
Audience: General
Format: Paperback
Language: English
Number Of Pages: 648
Published: 27th August 1997
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 3.38
Weight (kg): 0.91