TY  - BOOK
AU  - Kogge, Peter M.
TI  - The architecture of symbolic computers
SN  - 70355967
AV  - QA 76.9.A73 .K64 1991 
PY  - 1991///
CY  - New York
PB  - McGraw Hill Education
KW  - COMPUTER ARCHITECTURE
N1  - 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
N2  - Focuses on the design and implementation of two classes of non-von Neumann computer architecture: those designed for functional and logical language computing
ER  -