abstract interpreter for GHC Core or STG

[Carter Schonwald]

I’m not aware of any currently.

I would be curious about the now relatively old work that Max bolingbroke
did for his PhD (I think it was sortah a ghc to Lua JIT?!?)

An important question is : what questions do you want the abstract
interpreter to suport?

On Mon, Jun 7, 2021 at 10:19 AM Csaba Hruska <csaba.hruska at gmail.com> wrote:

> Hello,
>
> I wonder if there was an attempt in the past to create an abstract
> interpreter for GHC Core or STG to approximate the program runtime
> behaviour?
> I'm curious because I'd like to turn my external STG interterpreter to an
> abstract interpreter using the AAM (Abstracting Abstract Machines) method.
> This approach seems promising to me because a single Haskell code base
> (ext STG interpreter) could be the specification of the Haskell operational
> semantics and also be a detailed static analyzer that could help
> optimization transformations.
> I'm interested in any attempt that happened during GHC/Haskell evolution.
>
> Regards,
> Csaba Hruska
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20210607/1c3f6f5f/attachment.html>