Run-time Checking In Lisp By Integrating Memory Addressing And Range Checking | IEEE Conference Publication | IEEE Xplore