abstract interpreter for GHC Core or STG
Simon Peyton Jones
simonpj at microsoft.com
Tue Jun 8 09:08:20 UTC 2021
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?
No, not that I know of. Because of all the primops, concurrency, STM, etc, it would be something of a challenge. The AAM story could be interesting…
Simon
From: ghc-devs <ghc-devs-bounces at haskell.org> On Behalf Of Csaba Hruska
Sent: 07 June 2021 15:18
To: GHC developers <ghc-devs at haskell.org>
Subject: abstract interpreter for GHC Core or STG
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20210608/52ef31e9/attachment.html>
More information about the ghc-devs
mailing list