Theoretical Aspects of Computer Software: Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings
Martin Abadi, Takayasu Ito
Springer, Oct 2, 1997 - Computer software - 639 pages
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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
abstraction action system actor algebra algorithm annotations apply arity assignment axioms bisimulation call-by-value completely distributive lattice Computer Science condition consider constraints converges CPS transformation cyclic data refinement defined Definition denote derivation encoding equations equivalent event diagrams example extended finitary finite fixpoint Functional Programming functor gib types given graph higher-order implementation induction infinite normal form integer interaction interpretation join-calculus L-relation labels lambda abstraction lambda calculus lambda-graphs Lemma logical relations monad monomorphic morphism node notion operational semantics operations partial evaluation pi-calculus polytypes Proc procedure Programming Languages proof properties prove quantified variables recursive type redex reduction restriction result scoped semantic domain simple type expressions solution sound specialization st-types strictness and totality structure subset substitution subtyping Theorem transition systems two-level type inference type system type variables Va.a variable elimination Xx.x