Maurice Bruynooghe, Michael Codish, Anne Mulkers. Abstract Unification for a Composite Domain Deriving Sharing and Freeness Properties of Program Variables. In Frank S. de Boer, Maurizio Gabbrielli, editors, ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994. 1994.
@inproceedings{BruynoogheCM94,
title = {Abstract Unification for a Composite Domain Deriving Sharing and Freeness Properties of Program Variables},
author = {Maurice Bruynooghe and Michael Codish and Anne Mulkers},
year = {1994},
researchr = {https://researchr.org/publication/BruynoogheCM94},
cites = {0},
citedby = {0},
booktitle = {ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994},
editor = {Frank S. de Boer and Maurizio Gabbrielli},
}