http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM2Smaragdakis 2026-04-06T02:49:48Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M2Smaragdakis&diff=109&oldid=prev 2011-12-12T10:06:25Z

<p>1 revision</p> <p><b>New page</b></p><div>[[Category:WG211]]<br /> <br /> <br /> Title:<br /> Statically Safe Meta-Programming&lt;BR&gt;<br /> Yannis Smaragdakis<br /> <br /> Abstract:<br /> Current meta-programming systems either offer little guarantee of semantic well-formedness of the generated program (e.g., no type safety guarantee) or impose significant restrictions on what kinds of programs can be generated. This talks overviews existing points in the design space and discusses how the boundaries can be pushed to provide powerful yet guaranteed safe meta-programming.</div>

Admin