Skip to content

An Implementation Technique for the Abstract Interpretation of Prolog.

Annika Wrn

VenueBICLP
Year1988
ProceedingsICLP/SLP

Browse the full ICLP paper archive.