Start of topic | Skip to actions
Doaitse Swierstra/title> </head> <p /> <body bgcolor="white"> <p /> Title: Implicit Program Generation <br>Speaker: Doaitse Swierstra <p> Slides: <a href="http://pub.smart-generators.org/M3Schedule/PermParsers2002.pdf">.pdf</a> <p> Abstract:<br> I show how by creating parsers on the fly we can create parsers that recognise permutations of a collection of elements. This is done by dynamically creating parsers on the fly, based on the information recognised thus far. The technique relies heavily on lazy evaluation in order to limit the size of the generated parsers. <p /> I challenge others to solve the problem using their favorite program generator <img src="http://www.hope.cs.rice.edu/twiki/pub/TWiki/SmiliesPlugin/wink.gif" alt="wink" title="wink" border="0" /> <p /> <p /> @article{BaLoSw04, <br> year = {2004}, <br> author = {Arthur I. Baars and Andres L\"oh and S. Doaitse Swierstra}, <br> title = {Parsing Permutation Phrases}, <br> journal = {14}, <br> volume = {6}, <br> month = {November}, <br> urlpdf = {http://www.cs.uu.nl/people/doaitse/papers/2004/perms.pdf}, <br> pubcat = {journal}, <br> } <p /> </BODY> </HTML> -- Main.DoaitseSwierstra - 29 Jan 2006<a name="TopicEnd"></a> </div><div class="twikiHidden"><hr />End of topic<br /><a href="#Actions">Skip to actions</a> | <a href="#PageTop">Back to top</a><hr /></div> </div><!-- /patternContent --> <a name="Actions"> </a><div class="patternTopicAction"><span class="patternActionButtons"> <strong>Topic Actions</strong>: <span class="patternButton"><a href="http://www.hope.cs.rice.edu/twiki/bin/edit/WG211/M3Swierstra2?t=1219969159" rel="nofollow" title='Edit this topic text' accesskey="E"><span class='twikiAccessKey'>E</span>dit</a></span><span class="twikiSeparator"> | </span><a href="/twiki/bin/attach/WG211/M3Swierstra2" accesskey="A" title="Attach an image or document to this topic" rel="nofollow"><span class='twikiAccessKey'>A</span>ttach</a><span class="twikiSeparator"> | </span><a href="/twiki/bin/view/WG211/M3Swierstra2?cover=print.pattern" title="Printable version of this topic" accesskey="P" rel="nofollow"><span class='twikiAccessKey'>P</span>rintable</a><span class="twikiSeparator"> | </span><a href="/twiki/bin/view/WG211/M3Swierstra2?raw=on" title="View raw text without formatting" accesskey="R" rel="nofollow">Raw View</a><span class="twikiSeparator"> | </span>Backlinks: <a href="/twiki/bin/oops/WG211/M3Swierstra2?template=backlinksweb" title='Search the WG211 Web for topics that link to here' accesskey="b">We<span class='twikiAccessKey'>b</span></a>, <a href="/twiki/bin/oops/WG211/M3Swierstra2?template=backlinksallwebs" title="Search all webs for topics that link to here" accesskey="L">A<span class='twikiAccessKey'>l</span>l Webs</a><span class="twikiSeparator"> | </span><span class="patternRevision"><a href="/twiki/bin/rdiff/WG211/M3Swierstra2?type=history" title="View total topic history" accesskey="H" rel="nofollow"><span class='twikiAccessKey'>H</span>istory</a>: r2 <a rel="nofollow" href="/twiki/bin/rdiff/WG211/M3Swierstra2?rev1=2;rev2=1"><</a> <a rel="nofollow" href="/twiki/bin/view/WG211/M3Swierstra2?rev=1">r1</a></span><span class="twikiSeparator"> | </span><a href="/twiki/bin/oops/WG211/M3Swierstra2?template=oopsmore&param1=2&param2=2" title='Delete or rename this topic; set parent topic; view and compare revisions' accesskey="M" rel="nofollow"><span class='twikiAccessKey'>M</span>ore topic actions</a><br> <hr /> <strong>Webs</strong>: <a href="/twiki/bin/view/Main/WebHome" class="twikiLink">Main</a> | <a href="/twiki/bin/view/TWiki/WebHome" class="twikiLink">TWiki</a> | <a href="/twiki/bin/view/Africa/WebHome" class="twikiLink">Africa</a> | <a href="/twiki/bin/view/EmbeddedSystems/WebHome" class="twikiLink">EmbeddedSystems</a> | <a href="/twiki/bin/view/Gpce/WebHome" class="twikiLink">Gpce</a> | <a href="/twiki/bin/view/Houston/WebHome" class="twikiLink">Houston</a> | <a href="/twiki/bin/view/International/WebHome" class="twikiLink">International</a> | <a href="/twiki/bin/view/K12/WebHome" class="twikiLink">K12</a> | <a href="/twiki/bin/view/MetaOCaml/WebHome" class="twikiLink">MetaOCaml</a> | <a href="/twiki/bin/view/MulticoreOCR/WebHome" class="twikiLink">MulticoreOCR</a> | <a href="/twiki/bin/view/ProgrammingLanguages/WebHome" class="twikiLink">ProgrammingLanguages</a> | <a href="/twiki/bin/view/RAP/WebHome" class="twikiLink">RAP</a> | <a href="/twiki/bin/view/RIDL/WebHome" class="twikiLink">RIDL</a> | <a href="/twiki/bin/view/Sandbox/WebHome" class="twikiLink">Sandbox</a> | <a href="/twiki/bin/view/SpeechClub/WebHome" class="twikiLink">SpeechClub</a> | <a href="/twiki/bin/view/Teaching/WebHome" class="twikiLink">Teaching</a> | <a href="/twiki/bin/view/Texbot/WebHome" class="twikiLink">Texbot</a> | <a href="/twiki/bin/view/WG211/WebHome" class="twikiLink">WG211</a><br> <hr /> <strong>Web Actions</strong>: <a href="/twiki/bin/view/WG211/WebHome" class="twikiLink"> <img width="16" alt="home" align="top" src="/twiki/pub/TWiki/TWikiDocGraphics/home.gif" height="16" border="0" /> WG211 Web</a></b> <a href="/twiki/bin/view/WG211/WebTopicCreator?parent=M3Swierstra2" target="_top"> <img width="16" alt="newtopic" align="top" src="/twiki/pub/TWiki/TWikiDocGraphics/newtopic.gif" height="16" border="0" /> Create New Topic</a> <a href="/twiki/bin/view/WG211/WebTopicList" class="twikiLink"> <img width="16" alt="index" align="top" src="/twiki/pub/TWiki/TWikiDocGraphics/index.gif" height="16" border="0" /> Index</a> <a href="/twiki/bin/view/WG211/WebSearch" class="twikiLink"> <img width="16" alt="searchtopic" align="top" src="/twiki/pub/TWiki/TWikiDocGraphics/searchtopic.gif" height="16" border="0" /> Search</a> <a href="/twiki/bin/view/WG211/WebChanges" class="twikiLink"> <img width="16" alt="changes" align="top" src="/twiki/pub/TWiki/TWikiDocGraphics/changes.gif" height="16" border="0" /> Changes</a> <a href="/twiki/bin/view/WG211/WebNotify" class="twikiLink"> <img width="16" alt="notify" align="top" src="/twiki/pub/TWiki/TWikiDocGraphics/notify.gif" height="16" border="0" /> Notifications</a> <a href="/twiki/bin/view/WG211/WebStatistics" class="twikiLink"> <img width="16" alt="statistics" align="top" src="/twiki/pub/TWiki/TWikiDocGraphics/statistics.gif" height="16" border="0" /> Statistics</a> <a href="/twiki/bin/view/WG211/WebPreferences" class="twikiLink"> <img width="16" alt="wrench" align="top" src="/twiki/pub/TWiki/TWikiDocGraphics/wrench.gif" height="16" border="0" /> Preferences</a> </span></div> <div class="patternMoved twikiGrayText"></div><!-- /patternMoved--> </div><!-- /patternMainContents--></td></tr></table><!-- /patternColumnWrapper--> </div><!--end patternPage--></div><!--end patternPageShadow--><div id="patternBottomBar"><div class="patternBottomBarContents"><!--Creative Commons License--><a rel="license" href="http://creativecommons.org/licenses/by/2.5/"> <img alt="Creative Commons License" style="border-width: 0" hspace=10 src="http://creativecommons.org/images/public/somerights20.png"/></a>This work is licensed under a <a rel="license" href="http://creativecommons.org/licenses/by/2.5/">Creative Commons Attribution 2.5 License</a>. Please follow our <a href="/twiki/bin/view/Main/CitationGuidelines" class="twikiLink">citation guidelines</a>.<!--/Creative Commons License--><!-- <rdf:RDF xmlns="http://web.resource.org/cc/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"> <Work rdf:about=""> <license rdf:resource="http://creativecommons.org/licenses/by/2.5/" /> <dc:type rdf:resource="http://purl.org/dc/dcmitype/Text" /> </Work> <License rdf:about="http://creativecommons.org/licenses/by/2.5/"><permits rdf:resource="http://web.resource.org/cc/Reproduction"/><permits rdf:resource="http://web.resource.org/cc/Distribution"/><requires rdf:resource="http://web.resource.org/cc/Notice"/><requires rdf:resource="http://web.resource.org/cc/Attribution"/><permits rdf:resource="http://web.resource.org/cc/DerivativeWorks"/></License></rdf:RDF> --> </div><!-- /patternBottomBarContents--></div><!-- /patternBottomBar--></div><!--end patternScreen--></body></html>