Theoretical aspects of computer software : 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings / Naoki Kobayashi, Benjamin C. Pierce (eds.)

Author	TACS 2001 (2001 : Sendai-shi, Miyagi-ken, Japan)
Title	Theoretical aspects of computer software : 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings / Naoki Kobayashi, Benjamin C. Pierce (eds.)
Imprint	Berlin : Springer, c2001
Descript	xv, 559 p. ; 24 cm

CONTENT

Spatial Logic -- Boxed Ambients -- Fine-Grained Resource Access Control -- Resource-Passing Concurrent Programming -- Solo Diagrams -- Synchronized Graph Rewriting -- Fixed-Point Logic -- Termination Proofs and Complexity Certification -- Renee Equation for Algorithmic Complexity -- Nominal Logic -- Logic Programming -- Linear Time Query Processing Algorithm -- Model-Checking LTL with Regular Valuations -- Polynomial Hybrid Automata -- Non-structural Subtype Entailment -- Lossy Channel Systems -- Control-Flow Analysis -- Infinite Intersection and Union Types -- Lambda Calculus -- Lightweight Analysis of Object Interactions -- Assembly Programs -- UDP Calculus -- Unison: A File Synchronizer and Its Specification

SUBJECT

Computer software -- Congresses

LOCATION	CALL#	STATUS
Central Library (4th Floor)	005.1015113 T119T	CHECK SHELVES