Abstract interpretation: a kind of magic

Authors:
Ulf Nilsson
Affiliations:
-
Venue:
PLILP '91 Selected papers of the symposium on Programming language implementation and logic programming
Year:
1995

Citing 0
Cited 2

Memoing for logic programs

Communications of the ACM
Precise and efficient groundness analysis for logic programs

ACM Letters on Programming Languages and Systems (LOPLAS)

Quantified Score

Hi-index	0.02

Visualization

Abstract