http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM10Danvy 2026-04-05T19:38:46Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M10Danvy&diff=29&oldid=prev 2011-12-12T10:06:23Z

<p>1 revision</p> <p><b>New page</b></p><div>[[Category:WG211]]<br /> <br /> <br /> <br /> &#039;&#039;&#039;On Leftmost Outermost Disjunctive Normalization&#039;&#039;&#039; by Olivier Danvy (joint work with Jacob Johannsen and Ian Zerny)<br /> <br /> This work continues the material presented at the 20th anniversary of&lt;br /&gt; PEPM in January 2011. It illustrates semantics-based program&lt;br /&gt; manipulation by inter-deriving reduction-based and reduction-free&lt;br /&gt; normalization functions for Boolean formulas.&lt;br /&gt; The PEPM presentation concerned negational normal forms,&lt;br /&gt; and this continuation turns to disjunctive normal forms.&lt;br /&gt; The challenge is to distribute conjunctions over disjunctions&lt;br /&gt; in a context-free manner.&lt;br /&gt; Once this challenge is met, we are back to business as usual:&lt;br /&gt; an inter-derivation of a small-step, reduction-based normalizer&lt;br /&gt; and of a big-step, reduction-free normalizer that is compositional&lt;br /&gt; and operates in one pass. This normalizer provides a new application&lt;br /&gt; of delimited continuations.</div>

Admin