On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M2Smaragdakis
From WG 2.11
Title:
Statically Safe Meta-Programming
Yannis Smaragdakis
Abstract: 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.
