From operational definitions to abstract semantics
S. Purushothaman, Jill Seaman · 1993
When the technique of abstract interpretation is used to analyze properties of programs that only depend upon their input/output behavior, the fact that the analysis holds for all implementations is generally obvious.On the other hand,