Matches in SemOpenAlex for { <https://semopenalex.org/work/W3200769474> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W3200769474 endingPage "29" @default.
- W3200769474 startingPage "1" @default.
- W3200769474 abstract "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, Lerner and Elberty. In this paper, we highlight that scaling methods with the size of the language is very difficult due to state space explosion, so we propose to learn semantics incrementally. We give a formalisation of Krishnamurthi et al.'s desugaring learning framework in order to clarify the assumptions necessary for an incremental learning algorithm to be feasible. We show that this reformulation allows us to extend the search space and express rules that Krishnamurthi et al. described as challenging, while still retaining feasibility. We evaluate enumerative synthesis as a baseline algorithm, and demonstrate that, with our reformulation of the problem, it is possible to learn correct desugaring rules for the example source and core languages proposed by Krishnamurthi et al., in most cases identical to the intended rules. In addition, with user guidance, our system was able to synthesize rules for desugaring list comprehensions and try/catch/finally constructs." @default.
- W3200769474 created "2021-09-27" @default.
- W3200769474 creator A5002932153 @default.
- W3200769474 creator A5052763483 @default.
- W3200769474 creator A5056138547 @default.
- W3200769474 date "2021-10-15" @default.
- W3200769474 modified "2023-10-16" @default.
- W3200769474 title "One down, 699 to go: or, synthesising compositional desugarings" @default.
- W3200769474 cites W1997143185 @default.
- W3200769474 cites W1999172049 @default.
- W3200769474 cites W2013596093 @default.
- W3200769474 cites W2037984920 @default.
- W3200769474 cites W2091092523 @default.
- W3200769474 cites W2094878426 @default.
- W3200769474 cites W2096455207 @default.
- W3200769474 cites W2117848302 @default.
- W3200769474 cites W2134112335 @default.
- W3200769474 cites W2134734244 @default.
- W3200769474 cites W2412440871 @default.
- W3200769474 cites W2533070090 @default.
- W3200769474 cites W2533631495 @default.
- W3200769474 cites W2779850521 @default.
- W3200769474 cites W2988261654 @default.
- W3200769474 cites W3012572620 @default.
- W3200769474 cites W3037969331 @default.
- W3200769474 cites W3105116128 @default.
- W3200769474 cites W3107057621 @default.
- W3200769474 cites W3192343331 @default.
- W3200769474 cites W3200769474 @default.
- W3200769474 cites W4214538532 @default.
- W3200769474 cites W4229675450 @default.
- W3200769474 cites W4243922950 @default.
- W3200769474 cites W4245234767 @default.
- W3200769474 doi "https://doi.org/10.1145/3485499" @default.
- W3200769474 hasPublicationYear "2021" @default.
- W3200769474 type Work @default.
- W3200769474 sameAs 3200769474 @default.
- W3200769474 citedByCount "1" @default.
- W3200769474 countsByYear W32007694742021 @default.
- W3200769474 crossrefType "journal-article" @default.
- W3200769474 hasAuthorship W3200769474A5002932153 @default.
- W3200769474 hasAuthorship W3200769474A5052763483 @default.
- W3200769474 hasAuthorship W3200769474A5056138547 @default.
- W3200769474 hasBestOaLocation W32007694741 @default.
- W3200769474 hasConcept C154945302 @default.
- W3200769474 hasConcept C156325763 @default.
- W3200769474 hasConcept C184337299 @default.
- W3200769474 hasConcept C199360897 @default.
- W3200769474 hasConcept C41008148 @default.
- W3200769474 hasConcept C61423126 @default.
- W3200769474 hasConcept C80444323 @default.
- W3200769474 hasConcept C98045186 @default.
- W3200769474 hasConceptScore W3200769474C154945302 @default.
- W3200769474 hasConceptScore W3200769474C156325763 @default.
- W3200769474 hasConceptScore W3200769474C184337299 @default.
- W3200769474 hasConceptScore W3200769474C199360897 @default.
- W3200769474 hasConceptScore W3200769474C41008148 @default.
- W3200769474 hasConceptScore W3200769474C61423126 @default.
- W3200769474 hasConceptScore W3200769474C80444323 @default.
- W3200769474 hasConceptScore W3200769474C98045186 @default.
- W3200769474 hasFunder F4320320006 @default.
- W3200769474 hasFunder F4320334678 @default.
- W3200769474 hasIssue "OOPSLA" @default.
- W3200769474 hasLocation W32007694741 @default.
- W3200769474 hasLocation W32007694742 @default.
- W3200769474 hasLocation W32007694743 @default.
- W3200769474 hasOpenAccess W3200769474 @default.
- W3200769474 hasPrimaryLocation W32007694741 @default.
- W3200769474 hasRelatedWork W1423770153 @default.
- W3200769474 hasRelatedWork W1573320017 @default.
- W3200769474 hasRelatedWork W1855927527 @default.
- W3200769474 hasRelatedWork W2086733238 @default.
- W3200769474 hasRelatedWork W2090686886 @default.
- W3200769474 hasRelatedWork W2098737690 @default.
- W3200769474 hasRelatedWork W2197999528 @default.
- W3200769474 hasRelatedWork W2372050396 @default.
- W3200769474 hasRelatedWork W2529681551 @default.
- W3200769474 hasRelatedWork W4253023131 @default.
- W3200769474 hasVolume "5" @default.
- W3200769474 isParatext "false" @default.
- W3200769474 isRetracted "false" @default.
- W3200769474 magId "3200769474" @default.
- W3200769474 workType "article" @default.