2008-journal.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2008-journal.cite -ob 2008-journal.bib -c 'year = 2008 and topics : "team" and $type="article"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@article{benzaken08jacm,
author = {Alain Frisch and Giuseppe Castagna and V\'eronique Benzaken},
title = {Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types},
journal = {Journal of the ACM},
volume = {55},
number = {4},
year = {2008},
issn = {0004-5411},
pages = {1--64},
doi = {10.1145/1391289.1391293},
publisher = {ACM Press},
address = {New York, NY, USA},
topics = {team,lri},
type_publi = {irevcomlec},
x-equipes = {demons PROVAL EXT},
x-type = {article},
x-support = {revue},
x-cle-support = {JACM},
x-editorial-board = {yes},
x-international-audience = {yes}
}
@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},
hal = {http://hal.inria.fr/inria-00431474/en/},
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},
hal = {http://hal.inria.fr/inria-00080427/},
doi = {10.1109/TC.2007.70819},
x-equipes = {demons PROVAL EXT},
x-type = {article},
x-support = {revue},
x-cle-support = {ITComputers},
x-editorial-board = {yes},
x-international-audience = {yes}
}