Theoretical Aspects of Computer Software
Subtitle: Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings (Lecture Notes in Computer Science)
Contributors: Martin Abadi (Editor); Takayasu Ito (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 2, 1997
Language: eng
Format: Paperback
Number of pages: 639
ISBN-13: 9783540633884
Subjects: Mathematical theory of computation; Congresses; Software Design; Computers; Computers - Languages / Programming; Computer Books: Internet General; Computer Books: Languages; Programming - Software Development; Logic Design; Miscellaneous Software; Computers / Logic Design; action calculi; model checking; program refinement; program semantics; type theory; Computer Science; Computer software
First sentence: The framework of action calculi [8] is broad enough to accommodate a variety of disciplines of interaction and computation, and yet has unity in its treatment of naming, abstraction, control and composition.