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