Frances Perry, Limin Jia, David Walker. Expressing heap-shape contracts in linear logic. In Stan Jarzabek, Douglas C. Schmidt, Todd L. Veldhuizen, editors, Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings. pages 101-110, ACM, 2006. [doi]
@inproceedings{PerryJW06,
title = {Expressing heap-shape contracts in linear logic},
author = {Frances Perry and Limin Jia and David Walker},
year = {2006},
doi = {10.1145/1173706.1173723},
url = {http://doi.acm.org/10.1145/1173706.1173723},
tags = {contracts, logic},
researchr = {https://researchr.org/publication/PerryJW06},
cites = {0},
citedby = {0},
pages = {101-110},
booktitle = {Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings},
editor = {Stan Jarzabek and Douglas C. Schmidt and Todd L. Veldhuizen},
publisher = {ACM},
isbn = {1-59593-237-2},
}