Instruction Sequences for Computer Science

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Bergstra, Jan A. (Autor), Middelburg, Cornelis A. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Paris : Atlantis Press : Imprint: Atlantis Press, 2012.
Edición:1st ed. 2012.
Colección:Atlantis Studies in Computing, 2
Temas:
Computer science.
Machine theory.
Compilers (Computer programs).
Computer engineering.
Computer networks .
Theory of Computation.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Compilers and Interpreters.
Computer Engineering and Networks.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares