2009-report.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2009-report.cite -ob 2009-report.bib -c 'year = 2009 and topics : "team" and ($type="techreport" or $type="manual" or $type="mastersthesis")' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@mastersthesis{iguernelala09master,
author = {Mohamed Iguernelala},
title = {{Extension modulo Associativit\'e-Commutativit\'e
de l'algorithme de cl\^oture par congruence CC(X)}},
school = {Universit{\'e} Paris-Sud},
year = 2009,
topics = {team},
type_publi = {rapport},
x-equipes = {demons PROVAL},
x-type = {master},
x-support = {rapport}
}
@manual{baudin09acsl,
title = {ACSL: ANSI/ISO C Specification Language, version 1.4},
author = {Patrick Baudin and Jean-Christophe Filli\^atre and Claude March\'e and Benjamin Monate and Yannick Moy and Virgile Prevosto},
year = 2009,
note = {\url{http://frama-c.cea.fr/acsl.html}},
url = {http://frama-c.cea.fr/acsl.html},
x-pdf = {http://frama-c.cea.fr/download/acsl_1.4.pdf},
topics = {team},
x-equipes = {demons PROVAL EXT},
x-type = {contrat},
x-support = {rapport}
}
@manual{moy09manual,
title = {Jessie Plugin Tutorial, \emph{Beryllium} version},
author = {Yannick Moy and Claude March\'e},
organization = {INRIA},
year = 2009,
note = {\url{http://www.frama-c.cea.fr/jessie.html}},
url = {http://www.frama-c.cea.fr/jessie.html},
topics = {team,lri},
type_publi = {manuel},
x-equipes = {demons PROVAL},
x-type = {manuel},
x-support = {diffusion},
x-pdf = {http://www.frama-c.cea.fr/jessie/main.pdf}
}
@techreport{paskevich09rr,
author = {Andrei Paskevich},
title = {Algebraic types and pattern matching in the logical language of the {Why} verification platform},
institution = {INRIA},
year = 2009,
topics = {team},
hal = {http://hal.inria.fr/inria-00439232},
note = {\url{http://hal.inria.fr/inria-00439232}},
number = 7128
}
@techreport{tushkanova09rr,
title = {Modular Specification of {Java} Programs},
author = {Tushkanova, Elena and Giorgetti, Alain and
March{\'e}, Claude and Kouchnarenko, Olga},
abstract = {This work investigates the question of modular
specification of generic {Java} classes and
methods. The first part introduces a specification
language for {Java} programs. In the second part the
language is used to specify an array sorting
algorithm by selection. The third and the fourth
parts define a syntax proposal for the specification
a generic {Java} programs, through two examples. The
former is the specification of the generic method
for sorting arrays which comes in the
\texttt{java.util.Arrays} class of the {Java}
{API}. The latter is the specification of the
\texttt{java.util.HashMap} class and its use for
memoization.},
institution = {INRIA},
number = 7097,
year = 2009,
topics = {team},
hal = {http://hal.inria.fr/inria-00434452/en/}
}
@techreport{ayad09rr,
title = {On formal methods for certifying floating-point {C} programs},
author = {Ayad, Ali},
type = {Research Report},
institution = {INRIA},
number = 6927,
year = 2009,
hal = {http://hal.inria.fr/inria-00383793/en/},
topics = {team}
}
@mastersthesis{tafat09master,
author = {Asma Tafat},
title = {Invariants et raffinements en
pr\'esence de partage},
school = {Universit\'e Paris 6},
topics = {team},
year = 2009,
url = {http://www.lri.fr/~marche/tafat09master.pdf}
}
@mastersthesis{herms09master,
author = {Paolo Herms},
title = {Partial Type Inference with Higher-Order Types},
school = {Universit\`a di Pisa},
year = 2009,
topics = {team}
}
@techreport{melquiond09cxx,
author = {Guillaume Melquiond and Sylvain Pion},
title = {Directed rounding arithmetic operations},
institution = {ISO C++ Standardization Committee},
number = {2899},
year = {2009},
x-equipes = {demons PROVAL EXT},
x-type = {article},
x-support = {rapport},
topics = {team}
}