%0 Conference Paper %1 conf/iclp/BruynoogheCM94 %A Bruynooghe, Maurice %A Codish, Michael %A Mulkers, Anne %B ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages %D 1994 %E de Boer, Frank S. %E Gabbrielli, Maurizio %K dblp %T Abstract Unification for a Composite Domain Deriving Sharing and Freeness Properties of Program Variables. %U http://dblp.uni-trier.de/db/conf/iclp/iclp94-w2.html#BruynoogheCM94

@inproceedings{conf/iclp/BruynoogheCM94, added-at = {2013-12-02T00:00:00.000+0100}, author = {Bruynooghe, Maurice and Codish, Michael and Mulkers, Anne}, biburl = {https://www.bibsonomy.org/bibtex/2563a59015671ef19cc2ca2557d4c95fa/dblp}, booktitle = {ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages}, crossref = {conf/iclp/1994w2}, editor = {de Boer, Frank S. and Gabbrielli, Maurizio}, interhash = {68bfebd12c5e5b467f18c3e105b7ffb0}, intrahash = {563a59015671ef19cc2ca2557d4c95fa}, keywords = {dblp}, timestamp = {2013-12-03T11:35:24.000+0100}, title = {Abstract Unification for a Composite Domain Deriving Sharing and Freeness Properties of Program Variables.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp94-w2.html#BruynoogheCM94}, year = 1994 }