A systematic approach to abstract interpretation of logic programs
Ulf Nilsson · 1989
The notion of abstract interpretation facilitates a formalized process of approximating meanings of programs. Such approximations provide a basis for inferring properties of programs. After having ...