Mikhail Auguston, Miu Har Hon. Assertions for Dynamic Shape Analysis of List Data Structures. In AADEBUG. pages 37-42, 1997. [doi]
@inproceedings{AugustonH97,
title = {Assertions for Dynamic Shape Analysis of List Data Structures},
author = {Mikhail Auguston and Miu Har Hon},
year = {1997},
url = {http://www.ep.liu.se/ea/cis/1997/009/04/},
tags = {analysis, data-flow, data-flow analysis},
researchr = {https://researchr.org/publication/AugustonH97},
cites = {0},
citedby = {0},
pages = {37-42},
booktitle = {AADEBUG},
}