Instruction Sequences for Computer Science / Jan A. Bergstra (2012)  

Público ISBD Título : Instruction Sequences for Computer Science Tipo de documento: documento electrónico Autores: Jan A. Bergstra ; SpringerLink (Online service) ; Middelburg, Cornelis A Editorial: Paris : Atlantis Press Fecha de publicación: 2012 Otro editor: Imprint: Atlantis Press Colección: Atlantis Studies in Computing, ISSN 2212-8557 num. 2 Número de páginas: XVI, 232 p Il.: online resource ISBN/ISSN/DL: 978-94-91216-65-7 Idioma : Inglés (eng) Palabras clave: Computer  science  organization  Programming  languages  (Electronic  computers)  Computers  logic  Mathematical  Science  Computation  by  Abstract  Devices  Logics  and  Meanings  of  Programs  Logic  Formal  Languages  Languages,  Compilers,  Interpreters  Systems  Organization  Communication  Networks Clasificación: 51 Matemáticas Resumen: 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 Nota de contenido: 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 En línea: http://dx.doi.org/10.2991/978-94-91216-65-7 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=33067 Instruction Sequences for Computer Science [documento electrónico] / Jan A. Bergstra ; SpringerLink (Online service) ; Middelburg, Cornelis A . - Paris : Atlantis Press : Imprint: Atlantis Press, 2012 . - XVI, 232 p : online resource. - (Atlantis Studies in Computing, ISSN 2212-8557; 2) . ISBN : 978-94-91216-65-7 Idioma : Inglés (eng) Palabras clave: Computer  science  organization  Programming  languages  (Electronic  computers)  Computers  logic  Mathematical  Science  Computation  by  Abstract  Devices  Logics  and  Meanings  of  Programs  Logic  Formal  Languages  Languages,  Compilers,  Interpreters  Systems  Organization  Communication  Networks Clasificación: 51 Matemáticas Resumen: 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 Nota de contenido: 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 En línea: http://dx.doi.org/10.2991/978-94-91216-65-7 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=33067

Ejemplares

Signatura	Medio	Ubicación	Sub-localización	Sección	Estado
ningún ejemplar