Module : Intégration des langages CODE : UMINM204

Responsable	Stefano A. Cerri
Parcours intégrant UV
Parcours possibles	tout Master d'Informatique, de Mathématique, de Physique
Pré-Requis	- ULIN 201 et 303 (« Programmation applicative 1 et 2 ») - au moins un module entre :
Controle connaissances	4 ECTS

Description de l'UE :

Semestre	Code	Intitulé	Cours	TD	TP	TER
S2	UMINM204	Intégration des langages	30	12

1. intégration des concepts de base de l'Intelligence Artificielle ainsi que de l'Informatique :

Non déterminisme, backtracking, truth maintenance, relations, unification, pattern matching

2. Intégration des paradigmes : impératif, fonctionnel, logique, contraintes, objets

3. Intégration des langages sur Web et GRID: environnement 1 classe, mobilité, paresse,

évaluation d'ordre normale, abstraction de données, continuations, macro, langages de

communication entre agents)

Modalités d'enseignement : A partir de l'interprète métacirculaire une suite d'interprètes

Scheme qui donnent la sémantique opérationnelle des concepts

Bibliographie :

H. Abelson, G.J. Sussman, « Structure and Interpretation of Computer Programs », 2nd

Edition (chapitre 4), MIT Press, disponible sur: http://mitpress.mit.edu/sicp

Daniel P. Friedman, Mitchell Wand, and Christopher T. Haynes, « Essentials of Programming

Languages » -- 2nd ed., MIT Press, 2001