2008-report.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2008-report.cite -ob 2008-report.bib -c 'year = 2008 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{beauquier08master,
author = {Maxime Beauquier},
title = {Application du filtrage modulo associativit\'e et commutativit\'e ({AC}) \`a la r\'e\'ecriture de sous-termes modulo {AC} dans {Coq}},
school = {Master Parisien de Recherche en Informatique},
topics = {team},
type_publi = {rapport},
type_digiteo = {no},
year = 2008,
x-equipes = {demons PROVAL},
x-type = {master},
x-support = {rapport}
}
@mastersthesis{bobot08master,
author = {Fran\c{c}ois Bobot},
title = {Satisfiabilit\'e de formules closes modulo une th\'eorie avec \'egalit\'e
et pr\'edicats},
school = {Master Parisien de Recherche en Informatique},
topics = {team},
type_publi = {rapport},
type_digiteo = {no},
year = 2008,
x-equipes = {demons PROVAL},
x-type = {master},
x-support = {rapport}
}
@mastersthesis{gay08master,
author = {Steven Gay},
title = {Analyse d'\'echappement de port\'ee en {ReactiveML}},
school = {Master Parisien de Recherche en Informatique},
topics = {team},
type_publi = {rapport},
type_digiteo = {no},
year = 2008,
x-equipes = {demons PROVAL},
x-type = {master},
x-support = {rapport}
}
@manual{baudin08acsl,
title = {ACSL: ANSI/ISO C Specification Language},
author = {Patrick Baudin and Jean-Christophe Filli\^atre and Claude March\'e and Benjamin Monate and Yannick Moy and Virgile Prevosto},
year = 2008,
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{CoqManualV82,
author = {{The {Coq} Development Team}},
title = {{The Coq Proof Assistant Reference Manual -- Version V8.2}},
year = 2008,
note = {\url{http://coq.inria.fr}},
url = {http://coq.inria.fr},
topics = {team,lri},
type_publi = {manuel},
x-equipes = {demons PROVAL EXT},
x-type = {manuel},
x-support = {diffusion}
}
@manual{CoqSetoidV82,
author = {Matthieu Sozeau},
note = {Chapter of {The Coq Proof Assistant Reference Manual -- Version V8.2}},
title = {User defined equalities and relations},
institution = {INRIA},
year = 2008,
topics = {team,lri},
type_publi = {manuel},
x-equipes = {demons PROVAL},
x-type = {manuel},
x-support = {diffusion}
}
@manual{CoqProgramV82,
author = {Matthieu Sozeau},
note = {Chapter of {The Coq Proof Assistant Reference Manual -- Version V8.2}, \url{http://coq.inria.fr/}},
title = {Program},
url = {http://coq.inria.fr/},
year = 2008,
topics = {team,lri},
type_publi = {manuel},
x-equipes = {demons PROVAL},
x-type = {manuel},
x-support = {diffusion}
}
@manual{CoqTypeClassesV82,
author = {Matthieu Sozeau},
title = {Type Classes},
note = {Chapter of {The Coq Proof Assistant Reference Manual -- Version V8.2}},
organization = {INRIA},
year = 2008,
topics = {team,lri},
type_publi = {manuel},
x-equipes = {demons PROVAL},
x-type = {manuel},
x-support = {diffusion}
}
@manual{moy08manual,
title = {Jessie Plugin Tutorial, \emph{Lithium} version},
author = {Yannick Moy and Claude March\'e},
organization = {INRIA},
year = 2008,
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{couchot08report,
author = {Jean-Fran\c{c}ois Couchot and Alain Giorgetti and Nicolas Stouls},
title = {{Graph-based Reduction of Program Verification Conditions}},
institution = {INRIA Saclay -- \^Ile-de-France},
year = {2008},
type = {Research Report},
number = {6702},
month = oct,
hal = {http://hal.inria.fr/inria-00339847/en/},
topics = {team},
x-equipes = {demons PROVAL},
x-type = {article},
x-support = {rapport}
}
@techreport{contejean08rr,
author = {\'Evelyne Contejean and Julien Forest and Xavier Urbain},
title = {{Deep-Embedded Unification}},
institution = {C\'edric laboratory, CNAM Paris, France},
year = {2008},
x-equipes = {demons PROVAL},
x-support = {rapport},
x-type = {article},
topics = {team},
type = {Research Report},
number = {1547},
topics = {team}
}