What is LISP?
A LISt Processing language
The basic data structure is linked list
A functional programming language
Each expression in LISP is a function that returns a value A good LISP program should avoid too many side effects
AUTOMATED PROOFS OF OBJECT CODE FOR A WIDELY USED MICROPROCESSOR by YUAN YU, B.S.
Presented to the Faculty of the Graduate School of The University of Texas at Austin in Partial Ful llment of the Requirements for the Degree of
DOCTOR OF PHILO