--- 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",