Technique et science informatiques
Sommaire Volume 26 – n° 9/2007
LANGAGES APPLICATIFS
DÉVELOPPEMENTS ET APPLICATIONS
T.HARDIN,O.MICHEL
Editorial . . . 1065 G.HENRY,M.MAUNY,E.CHAILLOUX
Typer la désérialisation sans sérialiser les types . . . 1067 J.BLOND,C.MORISSET
Un moniteur de référence sûr d’une base de données . . . 1091 H.ANOUN
Une bibliothèque Coq pour le traitement des langues naturelles . . . 1111 J.COHEN
Interprétation par syntaxe abstraite d’ordre supérieur et traduction
en combinateurs . . . 1137 A.SPICHER,O.MICHEL
Représentation et manipulation de structures topologiques
dans un langage fonctionnel . . . 1169 Chronique
S.BLAZY
Comment gagner la confiance en C ? . . . 1195
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com