\bibitem{CousotCousot06-RW}
P{.} Cousot and R{.} Cousot.
\newblock Grammar Analysis and Parsing by Abstract Interpretation, invited chapter.
\newblock \emph{Program Analysis and Compilation, Theory and Practice: Essays
dedicated to Reinhard Wilhelm}, T{.} Reps, M{.} Sagiv and J{.} Bauer (Eds.),
pp.\ 178--203, December 2006. LNCS 4444, Springer\discretionary{-}{}{-}Verlag,
Berlin, 2006.
@inCollection{CousotCousot06-RW,
author = {P{.} Cousot and R{.} Cousot},
title = {Grammar Analysis and Parsing by Abstract Interpretation,
invited chapter},
booktitle = {Program Analysis and Compilation, Theory and Practice:
Essays dedicated to Reinhard Wilhelm},
editor = {T{.} Reps and M{.} Sagiv and J{.} Bauer},
series = {LNCS 4444},
pages = {178--203},
publisher = {Springer\discretionary{-}{}{-}Verlag},
month = dec,
year = 2006,
}
.
Last modified:
Friday, 04-May-2012 10:01:27 EDT