Login / Signup
Abstract Unification for a Composite Domain Deriving Sharing and Freeness Properties of Program Variables.
Maurice Bruynooghe
Michael Codish
Anne Mulkers
Published in:
ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages (1994)
Keyphrases
</>
domain independent
domain specific
program execution
desirable properties
knowledge sharing
imperative programs
programming environment
data sharing
theorem proving
variable selection
structural properties
neural network
domain experts
case based reasoning
low level
database systems
data mining