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

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