Semantics of Destructive LISP

While the semantics of Pure Lisp is well understood, the same cannot be said for the Lisp that people actually use, due to the presence of so-called destructive operations in programs. This study succeeds in defining some important equivalence relations in Lisp programs within an original model theoretic framework.