2007-report.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc 2007-report.cite -ob 2007-report.bib -c 'year = 2007 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{bardou07master,
  author = {Romain Bardou},
  title = {Invariants de classe et syst\`emes d'ownership},
  school = {Master Parisien de Recherche en Informatique},
  topics = {team},
  type_publi = {rapport},
  type_digiteo = {no},
  year = 2007,
  x-equipes = {demons PROVAL},
  x-type = {master},
  x-support = {rapport},
  x-pdf = {http://romain.bardou.fr/papers/stage2007r.pdf},
  url = {http://romain.bardou.fr/papers/stage2007r.pdf}
}

@mastersthesis{kanig07master,
  author = {Johannes Kanig},
  title = {Certifying a Congruence Closure algorithm in {Coq} using Traces},
  school = {Technische Universit\"at Dresden},
  year = 2007,
  topics = {team, lri},
  month = apr,
  type = {Diplomarbeit}
}

@techreport{contejean07rr,
  author = {\'Evelyne Contejean and Pierre Courtieu and Julien Forest and Olivier Pons and Xavier Urbain},
  title = {Certification of automated termination proofs},
  institution = {CEDRIC},
  year = 2007,
  type = {Research Report},
  number = 1185,
  month = {May},
  topics = {team},
  type_digiteo = {no},
  type_publi = {interne},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {rapport}
}

@techreport{MandelMaranget07RR,
  author = {Louis Mandel and Luc Maranget},
  title = {Programming in {JoCaml} -- extended version},
  institution = {INRIA},
  year = 2007,
  number = 6261,
  x-pdf = {http://www.lri.fr/~mandel/papers/MandelMaranget-RR-2007.pdf},
  url = {http://www.lri.fr/~mandel/papers/MandelMaranget-RR-2007.pdf},
  topics = {team},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {rapport}
}

@manual{MandelMaranget2007Jocaml,
  author = {Louis Mandel and Luc Maranget},
  title = {The {JoCaml} system},
  institution = {Inria-Rocquencourt},
  note = {Software and documentation available at
                    \url{http://jocaml.inria.fr/}},
  year = 2007,
  url = {http://jocaml.inria.fr/},
  x-equipes = {demons PROVAL EXT},
  x-type = {manuel},
  x-support = {diffusion},
  topics = {team}
}

@techreport{moy07rr1,
  author = {Yannick Moy},
  title = {Checking {C} Pointer Programs for Memory Safety},
  institution = {INRIA},
  year = {2007},
  month = oct,
  type = {Research Report},
  number = {6334},
  x-pdf = {http://www.lri.fr/~moy/publis/moy07rr1.pdf},
  url = {http://www.lri.fr/~moy/publis/moy07rr1.pdf},
  type_digiteo = {no},
  type_publi = {rapport},
  topics = {team, lri},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {rapport}
}

@techreport{paulinrandom07,
  author = {Christine Paulin-Mohring},
  title = {A library for reasoning on randomized algorithms in {Coq} - Version 2},
  institution = {Universit\'e Paris Sud},
  topics = {team},
  year = 2007,
  month = dec,
  type = {Description of a {Coq} contribution},
  x-pdf = {http://www.lri.fr/~paulin/ALEA/library.pdf},
  url = {http://www.lri.fr/~paulin/ALEA/library.pdf},
  note = {\url{http://www.lri.fr/~paulin/ALEA/library.pdf}},
  x-equipes = {demons PROVAL},
  x-type = {manuel},
  x-support = {diffusion}
}