| 書目名稱 | Instruction Sequences for Computer Science |
| 編輯 | Jan A. Bergstra,Cornelis A. Middelburg |
| 視頻video | http://file.papertrans.cn/469/468084/468084.mp4 |
| 概述 | Contains a complete and self-contained theory about imperative programs based on very elementary principles.Presents the first theory of instruction sequences, a forgotten basic concept of computer sc |
| 叢書名稱 | Atlantis Studies in Computing |
| 圖書封面 |  |
| 描述 | 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. |
| 出版日期 | Book 2012 |
| 關(guān)鍵詞 | computability; instruction sequence; instruction set architecture; non-uniform computational complexity |
| 版次 | 1 |
| doi | https://doi.org/10.2991/978-94-91216-65-7 |
| isbn_softcover | 978-94-6239-049-2 |
| isbn_ebook | 978-94-91216-65-7Series ISSN 2212-8557 Series E-ISSN 2212-8565 |
| issn_series | 2212-8557 |
| copyright | Atlantis Press 2012 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-21 21:53
發(fā)表于 2025-3-21 16:06:13
