Journal/document/root.bib
changeset 243 86a4182c73e7
parent 242 093e45c44d91
child 245 40b8d485ce8d
--- 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",