Matches in SemOpenAlex for { <https://semopenalex.org/work/W2914445235> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2914445235 abstract "Abstract The multi-stage programming paradigm supports runtime code generation and execution. Though powerful, its potential is impeded by the lack of static analysis support. Van Horn and Might proposed a general-purpose approach to systematically develop static analyses by transforming an environmental abstract machine, which evolves a control string, an environment and a continuation as a program evaluates. To the best of our knowledge, no such semantics exists for a multi-stage language like MetaML. We develop and prove correct an environmental abstract machine semantics for MetaML by gradually refining the reference substitutional natural semantics. Highlights of our approach include (1) progressively refining a single-stage language ISWIM to a CEK-like machine and managing to apply transformations of the same nature to MetaML, (2) leveraging explicit substitutions to bridge the gap between substitutional and environmental semantics, and (3) devising environment chains to model the complexities of variable bindings in multi-stage environmental semantics." @default.
- W2914445235 created "2019-02-21" @default.
- W2914445235 creator A5051937731 @default.
- W2914445235 creator A5069534231 @default.
- W2914445235 date "2019-04-01" @default.
- W2914445235 modified "2023-09-29" @default.
- W2914445235 title "Refining semantics for multi-stage programming" @default.
- W2914445235 cites W1495872178 @default.
- W2914445235 cites W1555697857 @default.
- W2914445235 cites W1650987719 @default.
- W2914445235 cites W1679133098 @default.
- W2914445235 cites W2006590676 @default.
- W2914445235 cites W2007809070 @default.
- W2914445235 cites W2014359987 @default.
- W2914445235 cites W2043416466 @default.
- W2914445235 cites W2045424609 @default.
- W2914445235 cites W2062813067 @default.
- W2914445235 cites W2088735483 @default.
- W2914445235 cites W2094455839 @default.
- W2914445235 cites W2096314727 @default.
- W2914445235 cites W2101274322 @default.
- W2914445235 cites W2107776021 @default.
- W2914445235 cites W2113757735 @default.
- W2914445235 cites W2118229393 @default.
- W2914445235 cites W2134112335 @default.
- W2914445235 cites W2151716725 @default.
- W2914445235 cites W2160268991 @default.
- W2914445235 cites W2160646753 @default.
- W2914445235 cites W2163285555 @default.
- W2914445235 cites W2166134427 @default.
- W2914445235 cites W2295866357 @default.
- W2914445235 cites W2296536988 @default.
- W2914445235 cites W2490166346 @default.
- W2914445235 cites W2549947687 @default.
- W2914445235 cites W2561581089 @default.
- W2914445235 cites W2914260883 @default.
- W2914445235 cites W3123143760 @default.
- W2914445235 cites W2526794136 @default.
- W2914445235 cites W2570710172 @default.
- W2914445235 cites W80458558 @default.
- W2914445235 doi "https://doi.org/10.1016/j.jvlc.2018.10.006" @default.
- W2914445235 hasPublicationYear "2019" @default.
- W2914445235 type Work @default.
- W2914445235 sameAs 2914445235 @default.
- W2914445235 citedByCount "0" @default.
- W2914445235 crossrefType "journal-article" @default.
- W2914445235 hasAuthorship W2914445235A5051937731 @default.
- W2914445235 hasAuthorship W2914445235A5069534231 @default.
- W2914445235 hasBestOaLocation W29144452352 @default.
- W2914445235 hasConcept C147789679 @default.
- W2914445235 hasConcept C156325763 @default.
- W2914445235 hasConcept C184337299 @default.
- W2914445235 hasConcept C185592680 @default.
- W2914445235 hasConcept C199360897 @default.
- W2914445235 hasConcept C41008148 @default.
- W2914445235 hasConcept C60044698 @default.
- W2914445235 hasConcept C80444323 @default.
- W2914445235 hasConceptScore W2914445235C147789679 @default.
- W2914445235 hasConceptScore W2914445235C156325763 @default.
- W2914445235 hasConceptScore W2914445235C184337299 @default.
- W2914445235 hasConceptScore W2914445235C185592680 @default.
- W2914445235 hasConceptScore W2914445235C199360897 @default.
- W2914445235 hasConceptScore W2914445235C41008148 @default.
- W2914445235 hasConceptScore W2914445235C60044698 @default.
- W2914445235 hasConceptScore W2914445235C80444323 @default.
- W2914445235 hasFunder F4320334593 @default.
- W2914445235 hasLocation W29144452351 @default.
- W2914445235 hasLocation W29144452352 @default.
- W2914445235 hasOpenAccess W2914445235 @default.
- W2914445235 hasPrimaryLocation W29144452351 @default.
- W2914445235 hasRelatedWork W1483246506 @default.
- W2914445235 hasRelatedWork W1497596634 @default.
- W2914445235 hasRelatedWork W1498373520 @default.
- W2914445235 hasRelatedWork W1522657670 @default.
- W2914445235 hasRelatedWork W1550430641 @default.
- W2914445235 hasRelatedWork W1761589367 @default.
- W2914445235 hasRelatedWork W1834134021 @default.
- W2914445235 hasRelatedWork W2015384282 @default.
- W2914445235 hasRelatedWork W2074731406 @default.
- W2914445235 hasRelatedWork W2149466802 @default.
- W2914445235 hasRelatedWork W2178359410 @default.
- W2914445235 hasRelatedWork W2487535662 @default.
- W2914445235 hasRelatedWork W2561581089 @default.
- W2914445235 hasRelatedWork W2601370232 @default.
- W2914445235 hasRelatedWork W2796623750 @default.
- W2914445235 hasRelatedWork W3145045271 @default.
- W2914445235 hasRelatedWork W3146585101 @default.
- W2914445235 hasRelatedWork W3150991042 @default.
- W2914445235 hasRelatedWork W3195237345 @default.
- W2914445235 hasRelatedWork W3207570629 @default.
- W2914445235 isParatext "false" @default.
- W2914445235 isRetracted "false" @default.
- W2914445235 magId "2914445235" @default.
- W2914445235 workType "article" @default.