http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM6NWilliamCook 2026-04-05T21:08:02Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M6NWilliamCook&diff=205&oldid=prev 2011-12-12T10:06:27Z

<p>1 revision</p> <p><b>New page</b></p><div>[[Category:WG211]]<br /> <br /> <br /> ==++ Strategic Programming by Model Interpretation and Partial Evaluation==<br /> <br /> [[http://www.cs.utexas.edu/~wcook/ William Cook]]<br /> <br /> Abstract:<br /> Strategic Programming is a programming paradigm based on factoring<br /> programs into general strategies and descriptions of particular<br /> application requirements. The descriptions are called models, and they<br /> generally describe one aspect of an application. Parser generators (like<br /> Yacc) are a prototypical example of strategic programming. My talk<br /> focuses on defining the semantics of models using interpreters instead<br /> of transformations, as in most related work. It is possible to define<br /> fully-functional applications by a collection of interrelated models for<br /> different aspects of a system, including user interface, security,<br /> workflow, data abstraction and persistence. The models may also contain<br /> fragments of code written in general-purposes languages. Model<br /> interpreters are compiled by partial evaluation. One novelty of this<br /> approach is the ability to create data abstractions by model<br /> interpretation and compile them by partial evaluation. I will describe<br /> my progress in implementing a software development toolset, called Borg,<br /> to support strategic programming by model interpretation and partial<br /> evaluation. Borg is implemented in itself and is targeted at information<br /> management applications, including desktop, web and distributed<br /> services, although it may be applicable to other domains as well.</div>

Admin