Overview
- 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)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (8 chapters)
Keywords
About this book
Authors and Affiliations
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