The programming language LISP: its operation and applications
Edmund Callis Berkeley, Daniel Gureasko Bobrow
Information International, Inc., 1964 - LISP (Computer program language) - 382 pages
An introduction to LISP is given on an elementary level. Topics covered include the programming system, 240 exercises with solutions, debugging of LISP programs, and styles of programming. More advanced discussions are contained in the following articles: Techniques using LISP for automatically discovering interesting relations in data; Automation, using LISP, of inductive inference on sequences; Application of LISP to machine checking of mathematical proofs; METEOR: A LISP interpreter for string transformations; Notes on implementing LISP for the M-460 computer; LISP as the language for an incremental computer; The LISP system for the Q-2 computer; An auxiliary language for more natural expression -- the A-language. Some applications of the utilization of the LISP programming language are given in the appendices.
9 pages matching foo in this book
Results 1-3 of 9
What people are saying - Write a review
We haven't found any reviews in the usual places.
The Function CDR ll
The Predicate NUMBERP
16 other sections not shown
A B C A-list aavC ADD1 atomic symbol Basic PDP-1 LISP binding CAAR CADR called CAR QUOTE CAR X CDR X compiler COND EQ COND EQUAL COND NULL CONS CAR CONS QUOTE CSET CSETQ DEFINE definition DIFFLIST element encoding EQ A QUOTE EQ CAR EQUAL CAR error EVAL evaluate example garbage collector gensym integers lac arl LAMBDA X Y left half LISP function LISP interpreter LISP system LIST QUOTE list structure LPAR machine language macro macro-step MAPLIST match METEOR notation NULL CDR octal OLOH operation pair parentheses PDP-1 LISP PERTEST pointer PREDICT PROG program feature Project MAC proof Proofchecker property list pushdown list QUOTE EXPR LAMBDA QUOTE NIL QUOTE QUOTE recursive result RETURN NIL right half RPLACD QUOTE rule rules of inference S-expression sequence SETQ shelf sionoi SUB1 SUBR subroutine TQ3S vaawvi variables workspace ZEROP