@dblp

A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs.

, , and . ILPS, page 336-350. MIT Press, (1995)

Links and resources

Tags