The architecture of symbolic computers / Peter M. Kogge.
Material type:
TextPublication details: New York : McGraw Hill Education, c1991Description: xxi, 739 pages : illustrations ; 25 cmISBN: - 70355967
- QA 76.9.A73 .K64 1991
Books
| Item type | Current library | Home library | Collection | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|
|
Books
|
National University - Manila | LRC - Main General Circulation | Gen. Ed. - CCIT | GC QA 76.9.A73 .K64 1991 (Browse shelf(Opens below)) | c.1 | Available | NULIB000002553 |
Browsing LRC - Main shelves, Shelving location: General Circulation, Collection: Gen. Ed. - CCIT Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | No cover image available | No cover image available |
|
No cover image available | ||
| GC QA 76.9.A73 .C66 [c?] c.1 CS212 computer architecture : study guide. | GC QA 76.9.A73 .C66 [c?] c.2 CS212 computer architecture : study guide. | GC QA 76.9.A73 .C66 [c?] c.3 CS212 computer architecture : study guide. | GC QA 76.9.A73 .K64 1991 The architecture of symbolic computers / | GC QA 76.9.A73 .M33 1993 Computer systems : architecture, organization, and programming / | GC QA 76.9.B84 .H43 1995 Using computer bulletin boards / | GC QA 76.9.C55 .B46 1997 vol.2 Using Microsoft BackOffice / |
Includes bibliographical references (pages 707-720) and index.
The fundamentals of computation; expresions and their notation; symbolic expressions and abstract programs; lambda calculus; a formal basis fror abstract programming; self interpretation; the SECD abstract machine; memory management for S-expressions; demand-driven evaluation; LISP; variants and machines; combinators and graph reduction; other function-based systems; a logic overview; predicate logic and the first inference engine; the fundamentals of first inference engines; the Prolog inference engine; the Warren abstract machine; optimizations and extensions.
Focuses on the design and implementation of two classes of non-von Neumann computer architecture: those designed for functional and logical language computing.
There are no comments on this title.