Instruction Sequences for Computer Science
J A Bergstra, Cornelis A Middelburg
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
श्रेणियाँ:
साल:
2012
प्रकाशन:
Atlantis Press
भाषा:
english
पृष्ठ:
241
ISBN 10:
9491216651
ISBN 13:
9789491216657
श्रृंखला:
Atlantis studies in computing, v.2
फ़ाइल:
PDF, 1.53 MB
IPFS:
,
english, 2012
कॉपीराइट धारक की शिकायत के कारण यह पुस्तक डाउनलोड के लिए उपलब्ध नहीं है