equal
deleted
inserted
replaced
240 <B>Literature:</B> This |
240 <B>Literature:</B> This |
241 <A HREF="http://www.cl.cam.ac.uk/~so294/documents/jfp09.pdf">paper</A> |
241 <A HREF="http://www.cl.cam.ac.uk/~so294/documents/jfp09.pdf">paper</A> |
242 gives a modern introduction to derivative based lexing. Derivative-based |
242 gives a modern introduction to derivative based lexing. Derivative-based |
243 parsing is explained <A HREF="http://arxiv.org/pdf/1010.5023v1">here</A> |
243 parsing is explained <A HREF="http://arxiv.org/pdf/1010.5023v1">here</A> |
244 and <A HREF="http://matt.might.net/papers/might2011derivatives.pdf">here</A>. |
244 and <A HREF="http://matt.might.net/papers/might2011derivatives.pdf">here</A>. |
|
245 A proposal for derivative PEG-parsing is |
|
246 <A HREF="http://fmota.eu/2011/01/07/PEG-derivatives.html">here</a>. The mailing |
|
247 list about PEGs is <A HREF="https://lists.csail.mit.edu/pipermail/peg/">here</A>. |
245 </p> |
248 </p> |
246 |
249 |
247 <li> <H4>[CU6] Equivalence Checking of Regular Expressions using the Method by Antimirov and Mosses</H4> |
250 <li> <H4>[CU6] Equivalence Checking of Regular Expressions using the Method by Antimirov and Mosses</H4> |
248 |
251 |
249 <p> |
252 <p> |