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...
Uloženo v:
| Hlavní autoři: | , |
|---|---|
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Paris :
Atlantis Press
2012.
Cham : Springer Nature |
| Edice: | Atlantis Studies in Computing
2 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Instruction Sequences for Computer Science, Texte imprimé, 9789491216640 • Instruction Sequences for Computer Science, Texte imprimé, 9789491216664 • Instruction Sequences for Computer Science, Texte imprimé, 9789462390492 |
Obsah:
- 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.