Abstract Unification for a Composite Domain Deriving Sharing and Freeness Properties of Program Variables - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. It may be one of the following persons:

Maurice Bruynooghe

Look up 'Maurice Bruynooghe' in GoogleThis author has not been identified. Look up 'Michael Codish' in GoogleThis author has not been identified. Look up 'Anne Mulkers' in Google

runs on WebDSL