Talk on For

2. •
–
– Brzozowski’s
– Kleene =
– 1.5k . 60
•

3. • “Yacc is Dead” : (LtU 2010/11/29 )
– http://arxiv.org/abs/1010.5023
–
•
• what you see is what you get if you
understand LR(k)
– an extension of Brzozowski's derivative from regular
expressions to context-free grammars.
– small (less than 250 lines of code), easy-to-implement parsing
library
• “Regular expression matching in <100 lines of code”
– http://michid.wordpress.com/2010/12/06/regular-expression-
matching-in-100-lines-of-code/
– Scala
– Coq

4. •
–
•
•
–
–

5. •
–
•
•
–
–
–

7. •
•
•

8. – –