Proving the correctness of storage representations

Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92 ◽

10.1145/141471.141528 ◽

1992 ◽

Author(s):

Mitchell Wand ◽

Dino P. Oliva

Download Full-text