Kogge, Peter M. <br/><br/>
The architecture of symbolic computers / 
Peter M. Kogge. 
 - New York :  McGraw Hill Education,  c1991 
 - xxi, 739 pages :  illustrations ;  25 cm. 
<br/><br/>Includes bibliographical references (pages 707-720) and index. 
<br/><br/>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. 
<br/><br/> Focuses on the design and implementation of two classes of non-von Neumann computer architecture: those designed for functional and logical language computing. 
<br/><br/><label>ISBN: </label>70355967 
<br/><br/><label>Subjects--Topical Terms: </label><br/>COMPUTER ARCHITECTURE
<br/><br/><label>LC Class. No.: </label>QA 76.9.A73 .K64 1991