Authors:
- Contains a complete and self-contained theory about imperative programs based on very elementary principles
- Presents the first theory of instruction sequences, a forgotten basic concept of computer science
- Provides a new perspective on non-uniform computational complexity
- Provides a new perspective on the halting problem
Part of the book series: Atlantis Studies in Computing (ATLANTISCOMP, volume 2)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (8 chapters)
-
Front Matter
-
Back Matter
About this book
Authors and Affiliations
-
Faculty of Science, Informatics Institute, University of Amsterdam, Amsterdam, Netherlands
Jan A. Bergstra
-
Faculty of Science, Informatics Institute, University of Amsterdam, Voorschoten, Netherlands
Cornelis A. Middelburg
Bibliographic Information
Book Title: Instruction Sequences for Computer Science
Authors: Jan A. Bergstra, Cornelis A. Middelburg
Series Title: Atlantis Studies in Computing
DOI: https://doi.org/10.2991/978-94-91216-65-7
Publisher: Atlantis Press Paris
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: Atlantis Press 2012
Hardcover ISBN: 978-94-91216-64-0Published: 22 June 2012
Softcover ISBN: 978-94-6239-049-2Published: 18 July 2014
eBook ISBN: 978-94-91216-65-7Published: 12 June 2012
Series ISSN: 2212-8557
Series E-ISSN: 2212-8565
Edition Number: 1
Number of Pages: XVI, 232
Topics: Computation by Abstract Devices, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Computer Systems Organization and Communication Networks