<div dir="ltr"><div>Hello,</div><div><br></div><div>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?</div><div>I'm curious because I'd like to turn my external STG interterpreter to an abstract interpreter using the AAM (Abstracting Abstract Machines) method.</div><div>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.<br></div><div>I'm interested in any attempt that happened during GHC/Haskell evolution.</div><div><br></div><div>Regards,</div><div>Csaba Hruska<br></div></div>