http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM23VanWyk 2026-04-05T20:58:37Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M23VanWyk&diff=2583&oldid=prev 2024-03-23T21:27:14Z

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 23:27, 23 March 2024</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">Abstract coming soon </del>...</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">There is a longstanding interest in our community in language extension and mechanisms for easily adding (domain-specific) features to programming languages</ins>. <ins style="font-weight: bold; text-decoration: none;">One notion of extensibility argues that language extensions should be independently developed such that a programmer can pick the ones needed for their task at hand and compose them with a host language</ins>. <ins style="font-weight: bold; text-decoration: none;">Previously we have developed some ways to ensure that the composition of language and extension specifications leads to deterministic parsers and well-defined attribute grammars to implement the language.</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">Recently, Dawn Michaelson, Gopalan Nadathur, and I have been working to establish a modular approach to reasoning about metatheoretic properties for extensible languages. One aim is to ensure that properties established by a host language continue to hold when language extensions are added to the mix. For example, how can a type preservation property introduced by the host language be guaranteed to hold when new extensions that engage in type checking of their new constructs are added? Another aim is to also allow language extensions to introduce new properties that still hold when other extensions, unaware of the property, are added in. An extension that allows variables to be marked as secret or public may wish to establish a property that secret data never leaks to public variables; how is this property established in the presence of other extensions? This talk will discuss some initial techniques and tools we have developed to address these challenges</ins>.</div></td></tr> </table>

Eric http://mw.hh.se/wg211/index.php?title=WG211/M23VanWyk&diff=2566&oldid=prev 2024-03-19T18:56:13Z

<p>Created page with &quot;Abstract coming soon ...&quot;</p> <p><b>New page</b></p><div>Abstract coming soon ...</div>

Eric