ENGLISH

Theoretical Aspects of Computer Software: Third International Symposium, TACS'97 Sendai, Japan, September 23–26, 1997 Proceedings

By Martín Abadi , Robin Milner (auth.) , Takayasu Ito (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1997
ISBN
354063388X, 9783540633884
DOI
10.1007/BFb0014544
LCC
QA76.751 .T33 1997
Open Library ID
OL686337M
Language
english
Format
DJVU
Filesize
7 MB (6951675 bytes)
Series
Lecture Notes in Computer Science 1281
Edition
1
Pages
648\651
Library
Kolxo3
DPI
300
Time added
2011-01-06 10:13:16
Logics and Meanings of Programs; Software Engineer

Description

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.

Similar books