Instruction Sequences for Computer Science

  • Jan A. Bergstra
  • Cornelis A. Middelburg

Part of the Atlantis Studies in Computing book series (ATLANTISCOMP, volume 2)

Table of contents

  1. Front Matter
    Pages i-xvi
  2. Jan A. Bergstra, Cornelis A. Middelburg
    Pages 1-3
  3. Jan A. Bergstra, Cornelis A. Middelburg
    Pages 5-32
  4. Jan A. Bergstra, Cornelis A. Middelburg
    Pages 33-74
  5. Jan A. Bergstra, Cornelis A. Middelburg
    Pages 75-95
  6. Jan A. Bergstra, Cornelis A. Middelburg
    Pages 97-130
  7. Jan A. Bergstra, Cornelis A. Middelburg
    Pages 131-150
  8. Jan A. Bergstra, Cornelis A. Middelburg
    Pages 151-171
  9. Jan A. Bergstra, Cornelis A. Middelburg
    Pages 173-198
  10. Back Matter
    Pages 199-229

About this book

Introduction

This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-known subjects from the theory of computation and the area of computer architecture are rigorously investigated in this book thinking in terms of instruction sequences. The subjects from the theory of computation, to wit the halting problem and non-uniform computational complexity, are usually investigated thinking in terms of a common model of computation such as Turing machines and Boolean circuits. The subjects from the area of computer architecture, to wit instruction sequence performance, instruction set architectures and remote instruction processing, are usually not investigated in a rigorous way at all.

Keywords

computability instruction sequence instruction set architecture non-uniform computational complexity remote instruction processing

Authors and affiliations

  • Jan A. Bergstra
    • 1
  • Cornelis A. Middelburg
    • 2
  1. 1.Faculty of Science, Informatics InstituteUniversity of AmsterdamAmsterdamNetherlands
  2. 2.Faculty of Science, Informatics InstituteUniversity of AmsterdamVoorschotenNetherlands

Bibliographic information

  • DOI https://doi.org/10.2991/978-94-91216-65-7
  • Copyright Information Atlantis Press 2012
  • Publisher Name Atlantis Press, Paris
  • eBook Packages Mathematics and Statistics
  • Print ISBN 978-94-91216-64-0
  • Online ISBN 978-94-91216-65-7
  • Series Print ISSN 2212-8557
  • Series Online ISSN 2212-8565
  • About this book