Questions tagged [abstract-interpretation]

Filter by
Sorted by
Tagged with
1
vote
0answers
39 views

The abstract interpretation corresponding to the pure simply typed lambda calculus

In Types as Abstract Interpretation, Patrick Cousot sketched how different type systems could be constructed from the collecting semantics of a language. However, the notation of the paper is very old ...