Assertions for Dynamic Shape Analysis of List Data Structures

Mikhail Auguston, Miu Har Hon. Assertions for Dynamic Shape Analysis of List Data Structures. In AADEBUG. pages 37-42, 1997. [doi]

Abstract

Abstract is missing.