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

Holger Siegel holgersiegel74 at yahoo.de
Thu Nov 22 13:55:40 UTC 2018

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.



More information about the Haskell-Cafe mailing list