Abstract Unification for a Composite Domain Deriving Sharing and Freeness Properties of Program Variables.
Maurice Bruynooghe, Michael Codish, Anne Mulkers
VenueBICLP
Year1994
ProceedingsICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages
DBLP recordconf/iclp/BruynoogheCM94 ↗
Browse the full ICLP paper archive.