Analysis of list structures generated by lisp functions

The occurrence of garbage cells generated by pure-lisp like programs is formalized. First, we define some classes of LISP functions which characterize the properties of list structures generated by them. Then using these classes, we formalize the occurrence of garbage cells. We also present some results of analysis for pure-lisp interpreter programs written in LISP.