Attention une mise à jour du service Gitlab va être effectuée le mardi 18 janvier (et non lundi 17 comme annoncé précédemment) entre 18h00 et 18h30. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes.

Commit 6265bd88 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Bibliography update.

parent 3fe9f733
......@@ -10300,12 +10300,14 @@
URL = "http://gallium.inria.fr/~fpottier/publis/fpottier-protzenko-lessons-mezzo.pdf",
}
@Unpublished{pottier-reachability,
@InProceedings{pottier-reachability-jfla-2016,
author = "François Pottier",
title = "Reachability and error diagnosis in {LR}(1) automata",
note = "Submitted for publication",
year = "2015",
URL = "http://gallium.inria.fr/~fpottier/publis/fpottier-reachability.pdf",
booktitle = "Journées Francophones des Langages Applicatifs
(JFLA)",
year = "2016",
pdf = "http://gallium.inria.fr/~fpottier/publis/fpottier-reachability-jfla2016.pdf",
off = "https://hal.inria.fr/hal-01248101",
}
@InProceedings{pottier-regis-gianas-06,
......
......@@ -4,13 +4,3 @@
year = "2014",
howpublished = "\url{https://github.com/AbsInt/CompCert}",
}
@Unpublished{pottier-reachability,
author = {Fran{\c c}ois Pottier},
title = {Reachability and error diagnosis in {LR}(1) automata},
note = {Submitted for publication},
month = oct,
year = 2015,
URL = {http://gallium.inria.fr/~fpottier/publis/fpottier-reachability.pdf}
}
......@@ -2631,7 +2631,7 @@ parsing. In principle, the possibilities are endless.
An apparently simple-minded approach to error reporting,
proposed by Jeffery~\citeyear{jeffery-03} and further explored by
Pottier~\citeyear{pottier-reachability}, consists in selecting a diagnostic
Pottier~\citeyear{pottier-reachability-jfla-2016}, consists in selecting a diagnostic
message (or a template for a diagnostic message) based purely on the current
state of the automaton.
......@@ -2780,7 +2780,7 @@ is, a terminal symbol that appears in a lookahead set is not necessarily a
valid continuation) and incomplete (that is, a terminal symbol that does not
appear in any lookahead set may nevertheless be a valid continuation). More
details appear further on (\sref{sec:errors:diagnostics}).
% and in Pottier's paper~\citeyear{pottier-reachability}.
% and in Pottier's paper~\citeyear{pottier-reachability-jfla-2016}.
% TEMPORARY maybe cite it once a nice, long version of it exists.
In order to attract the user's attention to this issue, if an input sentence
......@@ -2883,7 +2883,7 @@ One might think that writing a diagnostic message for each error state is a
straightforward (if lengthy) task. In reality, it is not so simple.
% Here are a few guidelines.
% The reader is referred to Pottier's paper~\citeyear{pottier-reachability} for
% The reader is referred to Pottier's paper~\citeyear{pottier-reachability-jfla-2016} for
% more details.
% TEMPORARY maybe cite it once a nice, long version of it exists.
......
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