--- a/Journal/document/root.bib Mon Sep 05 20:59:50 2011 +0000
+++ b/Journal/document/root.bib Tue Sep 06 02:35:10 2011 +0000
@@ -157,7 +157,7 @@
title = {{D}erivatives of {R}egular {E}xpressions},
journal = {Journal of the ACM},
volume = {11},
- issue = {4},
+ number = {4},
year = {1964},
pages = {481--494},
publisher = {ACM}
@@ -252,134 +252,94 @@
volume = {6898}
}
-@Article{Okhotin/04a,
- author = "A. Okhotin",
- title = "Boolean {G}rammars",
- journal = "Inf.~Comput.",
+
+
+@Article{Okhotin04,
+ author = "A.~Okhotin",
+ title = "{B}oolean {G}rammars",
+ journal = "Information and Computation",
pages = "19--48",
year = "2004",
number = "1",
- volume = "194",
- keywords = "context-free grammar, intersection, complement,
- language equation, parsing, conjunctive grammar,
- trellis automaton, cellular automaton",
- abstract = "A new generalization of context-free grammars is
- introduced: Boolean grammars allow the use of all
- set-theoretic operations as an integral part of the
- formalism of rules. Rigorous semantics for these
- grammars is defined by language equations in a way that
- allows to generalize some techniques from the theory of
- context-free grammars, including Chomsky normal form,
- Cocke-Kasami-Younger cubic-time recognition algorithm
- and some limited extension of the notion of a parse
- tree, which together allow to conjecture practical
- applicability of the new concept. (Copyright 2004
- ScienceDirect)",
- editor = "Albert R. Meyer",
- publisher = "Elsevier B.V.",
- address = "Orlando-Amsterdam-Tokyo-Singapore",
- URL = "http://dx.doi.org/10.1016/j.ic.2004.03.006",
- cdate = "2004-12-21",
- mdate = "2005-08-18",
+ volume = "194"
}
-@Article{journals/iandc/KountouriotisNR09,
- title = "{W}ell-founded {S}emantics for Boolean {G}rammars",
- author = "V. Kountouriotis and C. Nomikos and P.
- Rondogiannis",
- journal = "Inf. Comput",
- year = "2009",
- number = "9",
- volume = "207",
- bibdate = "2009-09-08",
- bibsource = "DBLP,
- http://dblp.uni-trier.de/db/journals/iandc/iandc207.html#KountouriotisNR09",
- pages = "945--967",
- URL = "http://dx.doi.org/10.1016/j.ic.2009.05.002",
+@Article{KountouriotisNR09,
+ 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}
+}
+
+
+@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}
}
-@Article{journals/corr/abs-1010-5023,
- title = "Yacc is {D}ead",
- author = "M. Might and D. Darais",
- journal = "CoRR",
- year = "2010",
- volume = "abs/1010.5023",
- note = "informal publication",
- bibdate = "2010-11-03",
- bibsource = "DBLP,
- http://dblp.uni-trier.de/db/journals/corr/corr1010.html#abs-1010-5023",
- URL = "http://arxiv.org/abs/1010.5023",
+
+@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
}
-@InProceedings{Ford04a,
- author = "B. Ford",
- title = "Parsing {E}xpression {G}rammars: {A} {R}ecognition-based
+@InProceedings{Ford04,
+ author = "B.~Ford",
+ title = "{P}arsing {E}xpression {G}rammars: {A} {R}ecognition-{B}ased
{S}yntactic {F}oundation",
- booktitle = "POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT
- symposium on Principles of programming languages",
- year = "2004",
- ISBN = "1-58113-729-X",
- pages = "111--122",
- location = "Venice, Italy",
- doi = "10.1145/964001.964011",
- URL = "http://pdos.csail.mit.edu/~baford/packrat/popl04/peg-popl04.pdf",
- publisher = "ACM",
- address = "New York, NY, USA",
- keywords = "peg parsing cclit",
- doi-url = "http://dx.doi.org/10.1145/964001.964011",
+ booktitle = "Proc.~of the 31st ACM Symposium on Principles of Programming Languages (POPL)",
+ year = 2004,
+ pages = "111--122"
}
-@InProceedings{Ford02b,
- author = "B. Ford",
- title = "{Packrat Parsing: a Practical Linear-Time Algorithm
- with Backtracking}",
- booktitle = "ICFP '02: Proceedings of the seventh ACM SIGPLAN
- international conference on Functional programming",
+@InProceedings{Ford02,
+ author = "B.~Ford",
+ title = "{P}ackrat {P}arsing: : {S}imple, {P}owerful, {L}azy, {L}inear {T}ime,
+ ({F}unctional {P}earl)",
+ booktitle = "Proc.~of the 7th ACM International Conference on Functional Programming (ICFP)",
year = "2002",
- school = "Massachusetts Institute of Technology",
- URL = "http://pdos.csail.mit.edu/~baford/packrat/thesis/
- http://pdos.csail.mit.edu/~baford/packrat/thesis/thesis.pdf",
- keywords = "packrat parsing cclit",
+ pages = {36--47}
+
}
-@InProceedings{conf/pepm/WarthDM08,
- title = "{Packrat Parsers Can Support Left Recursion}",
- author = "A. Warth and J. R. Douglass and T. D.
- Millstein",
- bibdate = "2008-04-04",
- bibsource = "DBLP,
- http://dblp.uni-trier.de/db/conf/pepm/pepm2008.html#WarthDM08",
- booktitle = "PEPM",
- booktitle = "Proceedings of the 2008 {ACM} {SIGPLAN} Symposium on
+@InProceedings{WarthDM08,
+ 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
- Manipulation, {PEPM} 2008, San Francisco, California,
- {USA}, January 7-8, 2008",
- publisher = "ACM",
+ Manipulation (PEPM)",
year = "2008",
- editor = "Robert Gl{\"u}ck and Oege de Moor",
- ISBN = "978-1-59593-977-7",
- pages = "103--110",
- URL = "http://doi.acm.org/10.1145/1328408.1328424",
+ pages = "103--110"
}
@Article{Earley70,
author = "J. Earley",
title = "{An Efficient Context-Free Parsing Algorithm}",
- journal = "Communications of the ACM (CACM)",
+ journal = "Communications of the ACM",
volume = "13",
number = "2",
- month = feb,
- year = "1970",
- keywords = "parallel parsing, syntax analysis, parsing,
- context-free grammar, compilers, computational
- complexity, CACM,",
+ pages = {94--102},
+ year = "1970"
}
@Article{AycHor02,
- author = "Aycock and Horspool",
- title = "{Practical Earley Parsing}",
- journal = "COMPJ: The Computer Journal",
+ author = "J.~Aycock and R.~N.~Horspool",
+ title = "{{P}ractical {E}arley {P}arsing}",
+ journal = "The Computer Journal",
volume = "45",
+ number = "6",
+ pages = "620--630",
year = "2002",
}