Instruction Sequences for Computer Science

Jan A Bergstra, Cornelis A. Middelburg (Autoren)

Buch | Softcover

232 Seiten

2014
Atlantis Press (Zeger Karssen) (Verlag)
978-94-6239-049-2 (ISBN)

Artikel merken

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.

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.

Erscheint lt. Verlag	18.7.2014
Reihe/Serie	Atlantis Studies in Computing ; 2
Zusatzinfo	XVI, 232 p.
Verlagsort	Paris
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Netzwerke
	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
	Informatik ► Software Entwicklung ► User Interfaces (HCI)
	Informatik ► Theorie / Studium ► Compilerbau
	Informatik ► Weitere Themen ► Hardware
ISBN-10	94-6239-049-5 / 9462390495
ISBN-13	978-94-6239-049-2 / 9789462390492
Zustand	Neuware