Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation

Ian A. Mason

Browse the full LICS paper archive.