My Wish Lists Login / Join

Theoretical Aspects of Computer Software : International Symposium TACS '94, Sendai, Japan, April 19-22, 1994

International Symposium TACS '94, Sendai, Japan, April 19-22, 1994

By: Masami Hagiya (Editor), John C. Mitchell (Editor)

Write A Review

Paperback | 1 April 1994

At a Glance

Paperback
908 Pages

Dimensions(cm)
23.5 x 15.49 x 4.55

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Business Applications Computer Science Computer Architecture & Logic Design Programming & Scripting Languages Databases Data Capture & Analysis Compilers & Interpreters

Full Abstraction for PCF	p. 1
Fully Abstract Semantics for Concurrent [lambda]-calculus	p. 16
An Operational Approach to Combining Classical Set Theory and Functional Programming Languages	p. 36
ML Typing, Explicit Polymorphism and Qualified Types	p. 56
Extensions to Type Systems Can Preserve Operational Equivalences	p. 76
Constraint Programming and Database Query Languages	p. 96
Intuitionistic Resolution for a Logic Programming Language with Scoping Constructs	p. 121
Proof by Pointing	p. 141
A Computer-Checked Verification of Milner's Scheduler	p. 161
A Purely Functional Language with Encapsulated Assignment	p. 179
Simple Termination of Hierarchical Combinations of Term Rewriting Systems	p. 203
Separate Abstract Interpretation for Control-Flow Analysis	p. 224
Extensible Denotational Language Specifications	p. 244
A Normalizing Calculus with Overloading and Subtyping	p. 273
A Theory of Primitive Objects - Untyped and First-Order Systems	p. 296
Programming Objects with ML-ART, an Extension to ML with Abstract and Record	p. 321
A Type System for a Lambda Calculus with Assignments	p. 347
Theory and Practice of Concurrent Object-Oriented Computing	p. 365
The Family Relation in Interaction Systems	p. 366
On Syntactic and Semantic Action Refinement	p. 385
Locality and True-concurrency in Calculi for Mobile Processes	p. 405
Term Rewriting Properties of SOS Axiomatisations	p. 425
The Tyft/Tyxt Format Reduces to Tree Rules	p. 440
Undecidable Equivalences for Basic Parallel Processes	p. 454
Normal Proofs and their Grammar	p. 465
A Symmetric Lambda Calculus for "Classical" Program Extraction	p. 495
The [lambda][subscript[Delta]]-Calculus	p. 516
Syntactic Definitions of Undefined: On Defining the Undefined	p. 543
Discovering Needed Reductions Using Type Theory	p. 555
Nontraditional Applications of Automata Theory	p. 575
Abstract Pre-Orders	p. 598
Categorical Models of Relational Databases I: Fibrational Formulation, Schema Integration	p. 618
Petri Nets, Horn Programs, Linear Logic, and Vector Games	p. 642
A Complete Type Inference System for Subtyped Recursive Types	p. 667
Subtyping with Union Types, Intersection Types and Recursive Types	p. 687
A Decidable Intersection Type System based on Relevance	p. 707
Temporal Verification Diagrams	p. 726
A Semantic Theory for Concurrent ML	p. 766
Replication in Concurrent Combinators	p. 786
Transitions as Interrupts: A New Semantics for Timed Statecharts	p. 806
Relating Multifunctions and Predicate Transformers through Closure Operators	p. 822
Notes on Typed Object-Oriented Programming	p. 844
Observing Truly Concurrent Processes	p. 886
Author Index	p. 887
Table of Contents provided by Blackwell. All Rights Reserved.

Theoretical Aspects of Computer Software : International Symposium TACS '94, Sendai, Japan, April 19-22, 1994

International Symposium TACS '94, Sendai, Japan, April 19-22, 1994

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Programming & Software Development

The Explosive Child: Sixth Edition

A New Approach for Understanding and Parenting Easily Frustrated, Chronically Inflexible Children

Designing Data-Intensive Applications 2e

The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Videogame Architecture

Building Virtual Spaces

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Python & AI For Dummies

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Web Engineering

Theory and Practice

The Essence of Software Engineering

Introduction to Programming Languages

The Practical Guide

The Practical Guide

The C Programming Language

Prentice Hall Software

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Coding For Kids For Dummies

For Kids for Dummies

Computer Coding Python Games for Kids

DK Help Your Kids With

Refactoring 2ed

Improving the Design of Existing Code

Fundamentals of Software Architecture, 2nd Edition

A Modern Engineering Approach

C++ Programming Language, The

The Man Who Solved the Market

How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019

Think Python 3e

How To Think Like a Computer Scientist

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Design Patterns

Elements of Reusable Object-Oriented Software

Arduino for Dummies

Blackwell Philosophy Anthologies

This product is categorised by