Abstract interpretation based on Alexander templates (1993)

by T Kanamori
Venue:Journal of Logic Programming, 15(1 & 2):31–54