Harald Wertz

Université Paris 8
Dépt. Informatique, Labo IA
2, rue de la Liberté
93526 Saint-Denis Cedex 02
FRANCE
Tél : (+33) 1 49 40 64 97
Fax : (+33) 1 49 40 67 83
E-mail : hw@ai.univ-paris8.fr

[ Recherche | Enseignements | Autres Activités ]

english version:


Recherche 
Intérêts :
Compréhension de programmes
[1] [30] [68]
Description / Représentation de programmes
[12] [41] [58]
Langages de programmation de haut niveau d'abstraction
[8] [16] [52]
Environnements de programmation
[10] [18] [56]
Informatique et éducation
[7] [31] [36]
à ceci s'ajoutent, dépendant du temps disponible, des interêts variés sur la relativité, les fractals, la programmation de jeux, et autres qui sont indiqués dans la liste de mes Publications

Enseignements
Formation à Lisp
Le livre d'introduction à LISP
Cours d'introduction
Exercices
Formation à UNIX
Introduction au Système UNIX
Formation à Smalltalk
Introduction à la Programmation Orientée Objets
Formation à la Compréhension de Programmes
Raisonnement par Récurrence [pdf]
Récurrence structurelle [pdf],  [html] [le programme explorable],  [pdf] [le programme lisible] [le programme code source] et une [trace d'éxécution]
Correction de Programmes [pdf] [powerpoint]
Exécution Symbolique [pdf] [powerpoint]
Quelques Programmes exemples :
première version du programme prettyPrint (en Vlisp) : [le code],  en pdf : [version lisible] et en html : [version explorable]
deuxième version (sous forme d'interprète symbolique) du programme prettyPrint (en Vlisp) : [le code],  en pdf : [version lisible] et en html : [version explorable]
version modifiée du programme prettyPrint pour faire une évaluation partielle : [le code] [version lisible] et [version explorable]
version modifiée du programme précedant pour faire une évaluation partielle et un pretty print : [le code] [version lisible] [version explorable]
le programme foo (en CommonLisp) : [le code] [les flux]
le programme vcg (en Vlisp) : [le code] [les flux]
le programme memofib (en Smalltalk (squeak)) : [le code] [version lisible]

Autres activités
Groupe de recherche APARU ( Automatic Program Animation, Representation and Understanding )

H. Wertz
Labo d'Intelligence Artificielle

Google