Theoretical Aspects of Computer Software: International Symposium TACS ’94 Sendai, Japan, April 19–22, 1994 Proceedings
Masami Hagiya, John C. Mitchell
Springer Science & Business Media, Mar 30, 1994 - Computers - 892 pages
This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japan in April 1994. This top-level international symposium on theoretical computer science is devoted to theoretical aspects of programming, programming languages and system, and parallel and distributed computation. The papers in the volume are grouped into sessions on: lambda calculus and programming; automated deduction; functional programming; objects and assignments; concurrency; term rewriting and process equivalence; type theory and programming; algebra, categories and linear logic; and subtyping, intersection and union types. The volume also includes seven invited talks and two open lectures.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
A-calculus abstract interpretation algebra algorithm application atomic automata axioms bisimulation calculus closure closure operator complete Computer Science congruence consider constraints construction constructor context control-flow core-ML corresponding database defined definition denote derivation diagram domain encoding environment equations equivalence evaluation example expression extension finite formula free variables function Functional Programming functor given hence implementation induction hypothesis infinite intersection isomorphism labelled lambda lambda calculus Lemma Linear Logic mapping method metric space node normal form notion object object-oriented operational semantics pair Petri nets polymorphic predicate transformers prefix problem Proc Programming Languages proof Proposition prove query record recursive types redex reduction rules relation restriction result rewrite rules sequence structure subset substitution subterms subtyping symbols syntactic syntax term rewriting systems Theorem theory tion topology transition tree tuple type assignment type inference type system type variables verification