A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
One down, 699 to go: or, synthesising compositional desugarings
2021
Proceedings of the ACM on Programming Languages (PACMPL)
Programming or scripting languages used in real-world systems are seldom designed with a formal semantics in mind from the outset. Therefore, developing well-founded analysis tools for these systems requires reverse-engineering a formal semantics as a first step. This can take months or years of effort. Can we (at least partially) automate this process? Though desirable, automatically reverse-engineering semantics rules from an implementation is very challenging, as found by Krishnamurthi,
doi:10.1145/3485499
fatcat:r6huc2mlljgvxiymli4q5xtdgi