Abstract Unification for a Composite Domain Deriving Sharing and Freeness Properties of Program Variables

Maurice Bruynooghe, Michael Codish, Anne Mulkers

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageEnglish GB
Title of host publicationICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994
EditorsFrank S. de Boer, Maurizio Gabbrielli
Number of pages229
StatePublished - 1994

Cite this