Agostino Cortesi, Gilberto Filé. Comparison and design of abstract domains for sharing analysis. In Domenico Saccà, editor, 8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993. pages 251-266, 1993.
@inproceedings{CortesiF93:0,
title = {Comparison and design of abstract domains for sharing analysis},
author = {Agostino Cortesi and Gilberto Filé},
year = {1993},
tags = {domain analysis, analysis, design},
researchr = {https://researchr.org/publication/CortesiF93%3A0},
cites = {0},
citedby = {0},
pages = {251-266},
booktitle = {8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993},
editor = {Domenico Saccà},
}