Commit 3200ae5d authored by POTTIER Francois's avatar POTTIER Francois

First draft of the intro, almost complete.

parent 772ef7a0
......@@ -3769,6 +3769,19 @@
URL = "http://sdg.csail.mit.edu/pubs/2006/dennis_modular.pdf",
}
@Article{denny-malloy-10,
author = "Joel E. Denny and Brian A. Malloy",
title = "The {IELR(1)} algorithm for generating minimal {LR(1)}
parser tables for non-{LR(1)} grammars with conflict
resolution",
journal = scp,
volume = "75",
number = "11",
pages = "943--979",
year = "2010",
URL = "http://dx.doi.org/10.1016/j.scico.2009.08.001",
}
@Article{deremer-pennello-82,
author = "Frank DeRemer and Thomas Pennello",
title = "Efficient Computation of ${LALR}(1)$ Look-Ahead Sets",
......@@ -3780,6 +3793,16 @@
URL = "http://doi.acm.org/10.1145/69622.357187",
}
@TechReport{deremer-phd-69,
author = "Franklin Lewis DeRemer",
title = "Practical Translators for {LR(k)} Languages",
institution = "Massachusetts Institute of Technology",
year = "1969",
type = "Technical Report",
number = "MIT-LCS-TR-065",
URL = "http://publications.csail.mit.edu/lcs/pubs/pdf/MIT-LCS-TR-065.pdf",
}
@Article{deremer-slr-71,
author = "Franklin L. DeRemer",
title = "Simple ${LR}(k)$ grammars",
......@@ -8209,6 +8232,16 @@
URL = "http://unicon.sourceforge.net/merr/merrguid.pdf",
}
@Unpublished{merr-02,
author = "Clinton L. Jeffery",
title = "Merr User's Guide",
note = "Available online",
OPTkey = "",
OPTyear = "2002",
OPTannote = "",
URL = "http://unicon.sourceforge.net/merr/merrguid.pdf",
}
@InProceedings{merz-00,
author = "Stephan Merz",
title = "Model Checking: {A} Tutorial Overview",
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment