http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM9Carette 2026-04-05T21:15:59Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M9Carette&diff=307&oldid=prev 2011-12-12T10:06:29Z

<p>1 revision</p> <p><b>New page</b></p><div>[[Category:WG211]]<br /> <br /> <br /> =The structure of typed generic code generators=<br /> ==Jacques Carette==<br /> <br /> Now that the feasibility of writing complex typed code generators has been established, along with the creation of a toolset for writing typed code generators, we need to understand how to structure and modularize these new programs. Through the investigation of several program families (generally arising from mathematical software), we have built up a methodology for this task. This methodology will be outlined, as well as several of the key ingredients which make this feasible: abstract interpretation, abstract algebra, partial evaluation, and compile-time symbolic computation. One important feature of our approach is that it relies on (carefully) mixing existing techniques rather than on ``new&#039;&#039; tools.</div>

Admin