Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
TACS'91 is the first International Conference on Theoretical
Aspects of Computer Science held at Tohoku University,
Japan, in September 1991. This volume contains 37 papers and
an abstract for the talks presented at the conference.
TACS'91 focused on theoretical foundations of programming,
and theoretical aspects of the design, analysis and
implementation of programming languages and systems. The
following range of topics is covered: logic, proof,
specification and semantics of programs and languages;
theories and models of concurrent, parallel and distributed
computation; constructive logic, category theory, and type
theory in computer science; theory-based systems for
specifying, synthesizing, transforming, testing, and
verifying software.
Similar content being viewed by others
Keywords
Table of contents (37 papers)
-
Front Matter
Bibliographic Information
Book Title: Theoretical Aspects of Computer Software
Book Subtitle: International Conference TACS ’91, Sendai, Japan, September 24–27, 1991. Proceedings
Editors: Takayasu Ito, Albert R. Meyer
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-54415-1
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1991
Softcover ISBN: 978-3-540-54415-9Published: 28 August 1991
eBook ISBN: 978-3-540-47617-7Published: 08 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 776
Topics: Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters, Software Engineering, Programming Techniques, Logics and Meanings of Programs, Computation by Abstract Devices