266 |
268 |
267 @Article{KountouriotisNR09, |
269 @Article{KountouriotisNR09, |
268 title = "{W}ell-founded {S}emantics for {B}oolean {G}rammars", |
270 title = "{W}ell-founded {S}emantics for {B}oolean {G}rammars", |
269 author = "V.~Kountouriotis and C.~Nomikos and P.~Rondogiannis", |
271 author = "V.~Kountouriotis and C.~Nomikos and P.~Rondogiannis", |
270 journal = "Information and Computation", |
272 journal = "Information and Computation", |
271 year = 2009, |
273 year = "2009", |
272 number = 9, |
274 number = "9", |
273 volume = 207, |
275 volume = "207", |
274 pages = {945--967} |
276 pages = "945--967" |
275 } |
277 } |
276 |
278 |
277 |
279 |
278 @article{Leroy09, |
280 @article{Leroy09, |
279 author = {X.~Leroy}, |
281 author = {X.~Leroy}, |
280 title = {{F}ormal {V}erification of a {R}ealistic {C}ompiler}, |
282 title = {{F}ormal {V}erification of a {R}ealistic {C}ompiler}, |
281 journal = {Communications of the ACM}, |
283 journal = {Communications of the ACM}, |
282 year = 2009, |
284 year = {2009}, |
283 volume = 52, |
285 volume = {52}, |
284 number = 7, |
286 number = {7}, |
285 pages = {107--115} |
287 pages = {107--115} |
286 } |
288 } |
287 |
289 |
288 |
290 |
289 @Unpublished{Might11, |
291 @Unpublished{Might11, |
290 title = "{Y}acc is {D}ead", |
292 title = "{Y}acc is {D}ead", |
291 author = "M.~Might and D.~Darais", |
293 author = "M.~Might and D.~Darais", |
292 note = "To appear in {\it Proc.~of the 16th ACM International Conference on |
294 note = "To appear in {\it Proc.~of the 16th ACM International Conference on |
293 Functional Programming (ICFP)}", |
295 Functional Programming (ICFP)}", |
294 year = 2011 |
296 year = "2011" |
295 } |
297 } |
296 |
298 |
297 @InProceedings{Ford04, |
299 @InProceedings{Ford04, |
298 author = "B.~Ford", |
300 author = "B.~Ford", |
299 title = "{P}arsing {E}xpression {G}rammars: {A} {R}ecognition-{B}ased |
301 title = "{P}arsing {E}xpression {G}rammars: {A} {R}ecognition-{B}ased |
300 {S}yntactic {F}oundation", |
302 {S}yntactic {F}oundation", |
301 booktitle = "Proc.~of the 31st ACM Symposium on Principles of Programming Languages (POPL)", |
303 booktitle = "Proc.~of the 31st ACM Symposium on Principles of Programming Languages (POPL)", |
302 year = 2004, |
304 year = "2004", |
303 pages = "111--122" |
305 pages = "111--122" |
304 } |
306 } |
305 |
307 |
306 @InProceedings{Ford02, |
308 @InProceedings{Ford02, |
307 author = "B.~Ford", |
309 author = "B.~Ford", |
308 title = "{P}ackrat {P}arsing: : {S}imple, {P}owerful, {L}azy, {L}inear {T}ime, |
310 title = "{P}ackrat {P}arsing: : {S}imple, {P}owerful, {L}azy, {L}inear {T}ime, |
309 ({F}unctional {P}earl)", |
311 ({F}unctional {P}earl)", |
310 booktitle = "Proc.~of the 7th ACM International Conference on Functional Programming (ICFP)", |
312 booktitle = "Proc.~of the 7th ACM International Conference on Functional Programming (ICFP)", |
311 year = "2002", |
313 year = "2002", |
312 pages = {36--47} |
314 pages = "36--47" |
313 |
315 |
314 } |
316 } |
315 |
317 |
316 @InProceedings{WarthDM08, |
318 @InProceedings{WarthDM08, |
317 title = "{{P}ackrat {P}arsers {C}an {S}upport {L}eft {R}ecursion}", |
319 title = "{P}ackrat {P}arsers {C}an {S}upport {L}eft {R}ecursion", |
318 author = "A.~Warth and J.~R.~Douglass and T.~D.~Millstein", |
320 author = "A.~Warth and J.~R.~Douglass and T.~D.~Millstein", |
319 booktitle = "Proc. of the {ACM} Symposium on |
321 booktitle = "Proc. of the {ACM} Symposium on |
320 Partial Evaluation and Semantics-based Program |
322 Partial Evaluation and Semantics-based Program |
321 Manipulation (PEPM)", |
323 Manipulation (PEPM)", |
322 year = "2008", |
324 year = "2008", |
323 pages = "103--110" |
325 pages = "103--110" |
324 } |
326 } |
325 |
327 |
326 @Article{Earley70, |
328 @Article{Earley70, |
327 author = "J. Earley", |
329 author = "J.~Earley", |
328 title = "{An Efficient Context-Free Parsing Algorithm}", |
330 title = "{A}n {E}fficient {C}ontext-{F}ree {P}arsing {A}lgorithm", |
329 journal = "Communications of the ACM", |
331 journal = "Communications of the ACM", |
330 volume = "13", |
332 volume = "13", |
331 number = "2", |
333 number = "2", |
332 pages = {94--102}, |
334 pages = "94--102", |
333 year = "1970" |
335 year = "1970" |
334 } |
336 } |
335 |
337 |
336 @Article{AycHor02, |
338 @Article{AycHor02, |
337 author = "J.~Aycock and R.~N.~Horspool", |
339 author = "J.~Aycock and R.~N.~Horspool", |
338 title = "{{P}ractical {E}arley {P}arsing}", |
340 title = "{P}ractical {E}arley {P}arsing", |
339 journal = "The Computer Journal", |
341 journal = "The Computer Journal", |
340 volume = "45", |
342 volume = "45", |
341 number = "6", |
343 number = "6", |
342 pages = "620--630", |
344 pages = "620--630", |
343 year = "2002", |
345 year = "2002", |