@dblp

An Instance of Abstract Interpretation Integrating Type and Mode Inferencing.

, and . ICLP/SLP, page 669-683. MIT Press, (1988)

Links and resources

Tags