On étudie l'abstraction et la généricité dans les langages de programmation. On décrit les principaux outils de la programmation générique. On traite...
Preuves de programmes et intelligence artificielle. Types. Syntaxe: état du langage, analyse syntaxique, extensions, inférence, apprentissage, perform...
Onze approches pour structurer, écrire, contrôler des applications reparties à activités parallèles. Présentation des d-modules. Description d'un lang...
I. Presentation du traducteur PIAFTRAD : le système PIAF, adaptation du système PIAF à la traduction, fonctionnement du traducteur. II. Description d...
