<電子ブック>
Instruction Sequences for Computer Science / by Jan A Bergstra, Cornelis A. Middelburg
(Atlantis Studies in Computing. ISSN:22128565 ; 2)
版 | 1st ed. 2012. |
---|---|
出版者 | (Paris : Atlantis Press : Imprint: Atlantis Press) |
出版年 | 2012 |
本文言語 | 英語 |
大きさ | XVI, 232 p : online resource |
著者標目 | *Bergstra, Jan A author Middelburg, Cornelis A author SpringerLink (Online service) |
件 名 | LCSH:Computer science LCSH:Machine theory LCSH:Compilers (Computer programs) LCSH:Computer engineering LCSH:Computer networks FREE:Theory of Computation FREE:Computer Science Logic and Foundations of Programming FREE:Formal Languages and Automata Theory FREE:Compilers and Interpreters FREE:Computer Engineering and Networks |
一般注記 | 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 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 HTTP:URL=https://doi.org/10.2991/978-94-91216-65-7 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
Springer eBooks | 9789491216657 |
|
電子リソース |
|
EB00232582 |
書誌詳細を非表示
データ種別 | 電子ブック |
---|---|
分 類 | LCC:QA75.5-76.95 DC23:004.0151 |
書誌ID | 4000116295 |
ISBN | 9789491216657 |
類似資料
この資料の利用統計
このページへのアクセス回数:5回
※2017年9月4日以降