[Haskell-cafe] static analysis of a C-like language

[Holger Siegel]

Hello Siddharth,


Am 22.11.2018 um 14:26 schrieb Siddharth Bhat:
> What is the canonical way to lift an interpreter to an abstract 
> interpreter, while ensuring convergence ---figuring out how and when 
> to widen?

Yes, exactly. In case of Olaf's imperative language with control 
structures that would be the entry point of while-loops. Potentially 
recursive function calls also have to be considered when you move from a 
per-function analysis to interprocedural analysis.


Regards,

Holger