Return to CLIP Main Page
Next:
Some Speedups
Up:
Document: europar97_sl
Previous:
Visualization of And-parallelism -
Sharing + Freeness Domain
Allows detecting failure of groundness checks.
Increases accuracy of sharing information.
Abstract Domain:
Abstraction (freeness) of a substitution
:
Example:
.
, where
<herme at fi.upm.es>-
<webmaster@clip.dia.fi.upm.es>
Last updated on Wed Dec 3 16:57:50 MET 1997