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

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

Formation à Lisp

Le livre d'introduction à LISP

Cours d'introduction

Exercices

Quelques programmes exemples en xBvl

Un petit interprete LISP

Formation à UNIX

Introduction au Système UNIX

Formation à Smalltalk

Classes, Instances, Messages et Héritage : Introduction à la Programmation Objet (en chantier)

et voici quequelques programmes à télécharger, extrait du livre accéssible ci-dessus :

le programmes des animaux

un exemple de PluggableButtonMorph : un compteur

l'exemple des boutons d'un ancien téléviseur

deux versions de la Tour de Hanoi : [version 1] et [version 2]

l'ensemble de programmes pour des dessins Logo : DessinsLogo

la suite des deux interprètes de systèmes de Lindenmayer (ils nécessitent DessinsLogo) : le Lsystème de base et le Lsystème stochastic (qui nécessite le Lsystème précédent).

la suite des : calculateurs

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]

Transformation de programmes [pdf]

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] [trois flux dynamiques]

le programme vcg (en Vlisp) : [le code] [les flux] [une trace dynamique pour l'échange de deux variables (en ps)]

le programme memofib (en Smalltalk (squeak)) : [le code] [version lisible]

Groupe de recherche APARU ( Automatic Program Animation, Representation and Understanding )

Pour nos amis géorgiens quelques images de l'inauguration de la Filière Franco/Géorgienne ;

et voici quelques autres photos, prises au fur et à mesure de mes séjours en Géorgie

H. Wertz

Labo d'Intelligence Artificielle