Questions tagged [abstract-interpretation]

Filter by
Sorted by
Tagged with
2
votes
0answers
110 views

Types as abstract interpretations

In Types as Abstract Interpretations, Cousot seems to propose a method to derive various type systems by succesive abstract interpretation of the denotational semantics of an untyped lambda-calculus. ...