Instruction Sequences for Computer Science

• Main Authors: Bergstra, Jan A. (Author), Middelburg, Cornelis A. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Paris : Atlantis Press : Imprint: Atlantis Press, 2012.
• Series: Atlantis Studies in Computing, 2
• Subjects: Computer science.; Computer organization.; Programming languages (Electronic computers).; Computers.; Computer logic.; Mathematical logic.; Computer Science.; Computation by Abstract Devices.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Programming Languages, Compilers, Interpreters.; Computer Systems Organization and Communication Networks.

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 inves...

Table of Contents:

• Introduction
• Instruction Sequences
• Instruction Processing
• Expressiveness of Instruction Sequences
• Computation-Theoretic Issues
• Computer-Architectural Issues
• Instruction Sequences and Process Algebra
• Variations on a Theme
• Appendix A: Five Challenges for Projectionism
• Appendix B: Natural Number Functional Units
• Appendix C: Dynamically Instantiated Instructions
• Appendix D: Analytic Execution Architectures.