diff -r 093e45c44d91 -r 86a4182c73e7 Journal/document/root.bib --- a/Journal/document/root.bib Tue Sep 06 02:35:10 2011 +0000 +++ b/Journal/document/root.bib Tue Sep 06 02:48:51 2011 +0000 @@ -254,6 +254,8 @@ + + @Article{Okhotin04, author = "A.~Okhotin", title = "{B}oolean {G}rammars", @@ -268,30 +270,30 @@ title = "{W}ell-founded {S}emantics for {B}oolean {G}rammars", author = "V.~Kountouriotis and C.~Nomikos and P.~Rondogiannis", journal = "Information and Computation", - year = 2009, - number = 9, - volume = 207, - pages = {945--967} + year = "2009", + number = "9", + volume = "207", + pages = "945--967" } @article{Leroy09, - author = {X.~Leroy}, - title = {{F}ormal {V}erification of a {R}ealistic {C}ompiler}, - journal = {Communications of the ACM}, - year = 2009, - volume = 52, - number = 7, - pages = {107--115} + author = {X.~Leroy}, + title = {{F}ormal {V}erification of a {R}ealistic {C}ompiler}, + journal = {Communications of the ACM}, + year = {2009}, + volume = {52}, + number = {7}, + pages = {107--115} } @Unpublished{Might11, title = "{Y}acc is {D}ead", author = "M.~Might and D.~Darais", - note = "To appear in {\it Proc.~of the 16th ACM International Conference on - Functional Programming (ICFP)}", - year = 2011 + note = "To appear in {\it Proc.~of the 16th ACM International Conference on + Functional Programming (ICFP)}", + year = "2011" } @InProceedings{Ford04, @@ -299,7 +301,7 @@ title = "{P}arsing {E}xpression {G}rammars: {A} {R}ecognition-{B}ased {S}yntactic {F}oundation", booktitle = "Proc.~of the 31st ACM Symposium on Principles of Programming Languages (POPL)", - year = 2004, + year = "2004", pages = "111--122" } @@ -309,12 +311,12 @@ ({F}unctional {P}earl)", booktitle = "Proc.~of the 7th ACM International Conference on Functional Programming (ICFP)", year = "2002", - pages = {36--47} + pages = "36--47" } @InProceedings{WarthDM08, - title = "{{P}ackrat {P}arsers {C}an {S}upport {L}eft {R}ecursion}", + title = "{P}ackrat {P}arsers {C}an {S}upport {L}eft {R}ecursion", author = "A.~Warth and J.~R.~Douglass and T.~D.~Millstein", booktitle = "Proc. of the {ACM} Symposium on Partial Evaluation and Semantics-based Program @@ -324,18 +326,18 @@ } @Article{Earley70, - author = "J. Earley", - title = "{An Efficient Context-Free Parsing Algorithm}", + author = "J.~Earley", + title = "{A}n {E}fficient {C}ontext-{F}ree {P}arsing {A}lgorithm", journal = "Communications of the ACM", volume = "13", number = "2", - pages = {94--102}, + pages = "94--102", year = "1970" } @Article{AycHor02, author = "J.~Aycock and R.~N.~Horspool", - title = "{{P}ractical {E}arley {P}arsing}", + title = "{P}ractical {E}arley {P}arsing", journal = "The Computer Journal", volume = "45", number = "6",