Theoretical Aspects of Computer Software: International Conference TACS ’91, Sendai, Japan, September 24–27, 1991. Proceedings
- ISBN-10
- 3662211661
- ISBN-13
- 9783662211663
- Series
- Theoretical Aspects of Computer Software
- Category
- Computers
- Pages
- 776
- Language
- English
- Published
- 2014-03-12
- Publisher
- Springer
- Authors
- Takayasu Ito, Albert R. Meyer
Description
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.
Get the book
Other editions
-
- 2014-03-12
- 648 pages
- Paperback
- Springer
-
- 2003-06-30
- 565 pages
- Ebook
- Springer
-
- 2001-10-12
- 565 pages
- Paperback
- Springer
-
- 1997-08-27
- 638 pages
- Paperback
- Springer Science & Business Media
Similar books
-
Theoretical Aspects of Computer Software: International Symposium TACS ’94 Sendai, Japan, April 19–22, 1994 Proceedings
By John C. Mitchell, Masami HagiyaAn Operational Approach to Combining Classical Set Theory and Functional Programming Languages 2 Douglas J. Howe1 and Scott D. Stoller2 1 AT & T Bell Labs , 600 Mountain Ave. , Room 2B - 438 Murray Hill , NJ 07974 ...
-
Theoretical Aspects of Computer Software: International Conference TACS '91, Sendai, Japan, September 24-27, 1991. Proceedings
The interest in semantics of dataflow networks is to a large extent due to the work by Kahn ( 14 ) , who proposed an elegant semantic model for dataflow networks with only deterministic processes . However , the straight - forward ...
-
STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991. Proceedings
By Christian Choffrut, Matthias JantzenThis volume contains two invited papers, on combinatorial methods in computer science, and on the complexity of local optimization, and 24 contributions on theoretical aspects of computer science.
-
STACS 90: 7th Annual Symposium on Theoretical Aspects of Computer Science. Rouen, France, February 22-24, 1990. Proceedings
By Thomas Lengauer, Christian ChoffrutThis volume contains two invited papers, on combinatorial methods in computer science, and on the complexity of local optimization, and 24 contributions on theoretical aspects of computer science.
-
STACS 97: 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997 Proceedings
By Rüdiger Reischuk1 Introduction One of the most prominent problems of mathematical logic has been the classical decision problem : given a first - order sentence , determine whether it is satisfiable . After Church and Turing had proved that the ...
-
STACS 96: 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings
By Rüdiger Reischuk, Claude PuechThis book constitutes the refereed proceedings of the 13th Symposium on Theoretical Aspects of Computer Science, STACS 96, held in Grenoble, France in February 1996.
-
Theoretical Aspects of Computer Science: Advanced Lectures
By Gholamreza B. KhosrovshahiThis book presents the revised final versions of eight lectures given by leading researchers at the First Summer School on Theoretical Aspects of Computer Science in Tehran, Iran, in July 2000.
-
STACS 94: 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings
By Ernst W. Mayr, Patrice Enjalbert, Klaus W. WagnerC.-L. Chang and R. C.-T. Lee . Symbolic Logic and Mechanical Theorem Proving . Computer Science Classics . Academic Press , 1973 . 6. A. Church . A note on the Entscheidungsproblem . J. Symb . Logic , 1 : 40-41 , 1936 . 7. A. Church .
-
STACS 95: 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995. Proceedings
By Ernst W. Mayr, Claude PuechThis book presents the proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS 95), held in Munich, Germany in March 1995.
-
STACS 2007: 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings
By Wolfgang ThomasTechnical Report UU-CS- 2006-042, Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands, 2006. 8. K. Burrage, V. Estivill-Castro, M. R. Fellows, M. A. Langston, S. Mac, and F. A. Rosamond.