[Haskell-cafe] static analysis of a C-like language
holgersiegel74 at yahoo.de
Thu Nov 22 13:55:40 UTC 2018
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