Lecture Notes in Computer Science

4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings

By: Naoki Kobayashi (Editor), Benjamin C. Pierce (Editor)

Write A Review

Paperback | 12 October 2001

At a Glance

Paperback
584 Pages

Dimensions(cm)
22.86 x 15.88 x 3.18

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This volume constitutes the proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001) held at Tohoku U- versity, Sendai, Japan in October 2001. The TACS symposium focuses on the theoretical foundations of progr- ming and their applications. As this volume shows, TACS is an international symposium, with participants from many di?erent institutions and countries. TACS 2001 was the fourth symposium in the TACS series, following TACS'91, TACS'94, and TACS'97, whose proceedings were published as Volumes 526, 789, and 1281, respectively, of Springer-Verlag's Lecture Notes in Computer Science series. The TACS 2001 technical program consisted of invited talks and contributed talks. In conjunction with this program there was a special open lecture by Benjamin Pierce; this lecture was open to non-registrants. TACS 2001 bene?ted from the e?orts of many people; in particular, members of the Program Committee and the Organizing Committee. Our special thanks go to the Program Committee Co-chairs: Naoki Kobayashi (Tokyo Institute of Technology) Benjamin Pierce (University of Pennsylvania).

Shipping

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

Orders over $89.00 qualify for free shipping.

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 Medicine Medicine in General Operating Systems Business Applications Programming & Scripting Languages Mathematics Mathematical Foundation Mathematical Logic

Databases Data Capture & Analysis Computer Science Computer Architecture & Logic Design Mathematical Theory of Computation Compilers & Interpreters

A Spatial Logic for Concurrency (Part I)	p. 1
Boxed Ambients	p. 38
A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation	p. 64
Formal Eavesdropping and Its Computational Interpretation	p. 82
Resource-Passing Concurrent Programming	p. 95
Solo Diagrams	p. 127
Observational Equivalence for Synchronized Graph Rewriting with Mobility	p. 145
Fixed-Point Logic with the Approximation Modality and Its Kripke Completeness	p. 165
Termination Proofs and Complexity Certification	p. 183
A Renee Equation for Algorithmic Complexity	p. 201
Nominal Logic: A First Order Theory of Names and Binding	p. 219
A Logic Programming Language Based on Binding Algebras	p. 243
Proof-Search and Countermodel Generation in Propositional BI Logic	p. 263
Generation of a Linear Time Query Processing Algorithm Based on Well-Quasi-Orders	p. 283
Modelisation of Timed Automata in Coq	p. 298
Model-Checking LTL with Regular Valuations for Pushdown Systems	p. 316
What Will Be Eventually True of Polynomial Hybrid Automata?	p. 340
Non-structural Subtype Entailment in Automata Theory	p. 360
Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems	p. 385
Weakest Congruence Results Concerning "Any-Lock"	p. 400
Design and Correctness of Program Transformations Based on Control-Flow Analysis	p. 420
Infinite Intersection and Union Types for the Lazy Lambda Calculus	p. 448
Strong Normalization of Second Order Symmetric Lambda-mu Calculus	p. 459
The Girard-Reynolds Isomorphism	p. 468
Lightweight Analysis of Object Interactions	p. 492
Typing Assembly Programs with Explicit Forwarding	p. 514
The UDP Calculus: Rigorous Semantics for Real Networking	p. 535
TACS Open Lecture
Unison: A File Synchronizer and Its Specification	p. 560
Author Index	p. 561
Table of Contents provided by Publisher. All Rights Reserved.

Lecture Notes in Computer Science

4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Theory of Computation

Statistical Atlases and Computational Models of the Heart. Regular and CMRxRecon Challenge Papers

16th International Workshop, STACOM 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 27, 2025, Revised Selected Papers

AI Engineering

Building Applications with Foundation Models

Algorithms in C, Parts 1-4

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

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Discrete Mathematics for Computing

Grassroots

Beading With Algorithms

Cellular Automata In Peyote Stitch

Effective Machine Learning Teams

Best Practices for ML Practitioners

Metaheuristic Algorithms

Theory and Practice

Mathematical Foundations of Deep Learning

Theory and Algorithms

Mathematical Foundations of Deep Learning

Theory and Algorithms

Theory of Computation for Software Developers

Nonlinear Analysis for Human Movement Variability

Introduction to Modern Cryptography

Revised Third Edition

Machine Learning Interviews

Kickstart Your Machine Learning and Data Career

Zhang Time Discretization (ZTD) Formulas and Applications

Decentralized Futures

Navigating the Integration of Blockchain Technology with Artificial Intelligence

Python Essentials

Symbolic and Numeric Problem-Solving in Engineering

Accelerating Graph Algorithms

Axiomatic Set Theory

An Introduction

Scientific Computing and Software

Go20 CSCS, Ghajnsielem, Malta, May 20-24, 2024

Evaluation by Alignment

A Framework for Robust End-to-End NLP Assessment

Beading With Algorithms

Cellular Automata In Peyote Stitch

Why Don't Rabbits Rule The World?

Mathematical answers to life's key questions

Linear Algebra with Applications in Machine Learning

From Intuitive Understanding to Python Coding

This product is categorised by