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}
}