Instruction Sequences for Computer Science

• Κύριοι συγγραφείς: Bergstra, Jan A. (Συγγραφέας), Middelburg, Cornelis A. (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Paris : Atlantis Press : Imprint: Atlantis Press, 2012.
• Σειρά: Atlantis Studies in Computing, 2
• Θέματα: Computer science.; Computer organization.; Programming languages (Electronic computers).; Computers.; Computer logic.; Mathematical logic.; Computer Science.; Computation by Abstract Devices.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Programming Languages, Compilers, Interpreters.; Computer Systems Organization and Communication Networks.

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

Πίνακας περιεχομένων:

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