Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autores principales: | , |
| Autor Corporativo: | |
| 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: | |
| Acceso en línea: | Texto Completo |
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-94-91216-65-7 | ||
| 003 | DE-He213 | ||
| 005 | 20220113055321.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 120611s2012 fr | s |||| 0|eng d | ||
| 020 | |a 9789491216657 |9 978-94-91216-65-7 | ||
| 024 | 7 | |a 10.2991/978-94-91216-65-7 |2 doi | |
| 050 | 4 | |a QA75.5-76.95 | |
| 072 | 7 | |a UYA |2 bicssc | |
| 072 | 7 | |a COM037000 |2 bisacsh | |
| 072 | 7 | |a UYA |2 thema | |
| 082 | 0 | 4 | |a 004.0151 |2 23 |
| 100 | 1 | |a Bergstra, Jan A. |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 245 | 1 | 0 | |a Instruction Sequences for Computer Science |h [electronic resource] / |c by Jan A Bergstra, Cornelis A. Middelburg. |
| 250 | |a 1st ed. 2012. | ||
| 264 | 1 | |a Paris : |b Atlantis Press : |b Imprint: Atlantis Press, |c 2012. | |
| 300 | |a XVI, 232 p. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Atlantis Studies in Computing, |x 2212-8565 ; |v 2 | |
| 505 | 0 | |a 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. | |
| 520 | |a 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. | ||
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Machine theory. | |
| 650 | 0 | |a Compilers (Computer programs). | |
| 650 | 0 | |a Computer engineering. | |
| 650 | 0 | |a Computer networks . | |
| 650 | 1 | 4 | |a Theory of Computation. |
| 650 | 2 | 4 | |a Computer Science Logic and Foundations of Programming. |
| 650 | 2 | 4 | |a Formal Languages and Automata Theory. |
| 650 | 2 | 4 | |a Compilers and Interpreters. |
| 650 | 2 | 4 | |a Computer Engineering and Networks. |
| 700 | 1 | |a Middelburg, Cornelis A. |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9789491216664 |
| 776 | 0 | 8 | |i Printed edition: |z 9789462390492 |
| 776 | 0 | 8 | |i Printed edition: |z 9789491216640 |
| 830 | 0 | |a Atlantis Studies in Computing, |x 2212-8565 ; |v 2 | |
| 856 | 4 | 0 | |u https://doi.uam.elogim.com/10.2991/978-94-91216-65-7 |z Texto Completo |
| 912 | |a ZDB-2-SMA | ||
| 912 | |a ZDB-2-SXMS | ||
| 950 | |a Mathematics and Statistics (SpringerNature-11649) | ||
| 950 | |a Mathematics and Statistics (R0) (SpringerNature-43713) | ||