Proving the Correctness of Storage Representations

Mitchell Wand, Dino Oliva. Proving the Correctness of Storage Representations. In LISP and Functional Programming. pages 151-160, 1992. [doi]

Abstract

Abstract is missing.