2008-journal.bib

@comment{{This file has been generated by bib2bib 1.97pl2}}
@comment{{Command line: bib2bib -oc 2008-journal.cite -ob 2008-journal.bib -c 'year = 2008 and topics : "team" and $type="article"' /users/demons/filliatr/bibliodemons/abbrevs.bib /users/demons/filliatr/bibliodemons/demons.bib /users/demons/filliatr/bibliodemons/demons2.bib /users/demons/filliatr/bibliodemons/demons3.bib /users/demons/filliatr/bibliodemons/team.bib /users/demons/filliatr/bibliodemons/crossrefs.bib}}
@article{duran06hosc,
  author = {Francisco Dur{\'a}n and Salvador Lucas and Jos{\'e} Meseguer
and Claude March{\'e} and Xavier  Urbain},
  title = {Proving Operational Termination of Membership Equational Programs},
  journal = {Higher-Order and Symbolic Computation},
  year = 2008,
  type_publi = {irevcomlec},
  type_digiteo = {revue_cl},
  topics = {team},
  volume = 21,
  number = {1--2},
  pages = {59--88},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {revue},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  x-cle-support = {HSC},
  x-pdf = {http://www.lri.fr/~marche/duran08hosc.pdf},
  url = {http://www.lri.fr/~marche/duran08hosc.pdf}
}
@article{MandelPouzet2007TSI,
  author = {Louis Mandel and Marc Pouzet},
  title = {{ReactiveML} : un langage fonctionnel pour la programmation r{\'e}active},
  journal = {Technique et Science Informatiques ({TSI})},
  year = {2008},
  volume = 27,
  number = {9--10/2008},
  pages = {1097--1128},
  x-pdf = {http://www.lri.fr/~mandel/papers/MandelPouzet-TSI-2007.pdf},
  url = {http://www.lri.fr/~mandel/papers/MandelPouzet-TSI-2007.pdf},
  topics = {team},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {revue},
  x-cle-support = {TSI},
  x-editorial-board = {yes},
  x-international-audience = {no}
}
@article{bol08tc1,
  author = {Sylvie Boldo and Guillaume Melquiond},
  title = {Emulation of {FMA} and {C}orrectly-{R}ounded {S}ums: {P}roved {A}lgorithms {U}sing {R}ounding to {O}dd},
  journal = {IEEE Transactions on Computers},
  year = {2008},
  volume = {57},
  number = {4},
  pages = {462--471},
  topics = {team,lri},
  type_digiteo = {revue_cl},
  type_publi = {irevcomlec},
  x-pdf = {http://hal.inria.fr/docs/00/08/04/27/PDF/odd-rounding.pdf},
  hal = {http://hal.inria.fr/inria-00080427/en/},
  x-equipes = {demons PROVAL EXT},
  x-type = {article},
  x-support = {revue},
  x-cle-support = {ITComputers},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}