Abstract
A formal description of LISP 1.5 data structures is proposed. Algorithmic theory of states, which included all the LISP 1.5 data structures, is defined. By means of operations of this theory we can define each operation of programming language LISP 1.5.
Keywords
Get full access to this article
View all access options for this article.