Symbolic Evaluation of LISP Functions with Side Effects for Verification.

Dennis de Champeaux, Jos de Bruin

Browse the full IJCAI paper archive.