TFP/T 2000-2001
Introduction
Ceci est le site pour la partie "(méthodes et) techniques" de l'unité
d'enseignment "Techniques et Fondement de la Programmation" (TFP).
Cette année, la partie "techniques" est entièrement consacrée aux
méthodes et techniques de la programmation symbolique.
Enseignants
Responsable et Cours: Robert Strandh
TD: Pierre Castéran, Philippe Narbel, Olivier Ly
Vous pouvez aussi consulter
les pages des TD
Les Cours semaine par semaine
Semaine numéro
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
Les autres années
Voici les sites concernant les autres années:
Supports de cours
Bibliographie
Ressources Web
- The
Common Lisp Hyper Spec. Une version HTML de la norme ANSI
du langage Common Lisp. Merci à Kent Pitman de la réalisation,
et à Harlequin (maintenant Xanalys) de le mettre à la
disposition de tous.
-
Successful Lisp: How to Understand and Use Common Lisp.
Un livre entièrement HTML sur Common Lisp, par David Lamkins.
Merci à David de nous avoir donné permisson de le mettre sur
notre site.
- Common Lisp, the
Language Le livre de Guy Steele en-ligne sous la forme de
HTML. Attention, il y a des differences par rapport à la norme
ANSI. Merci à Butterworth-Heinemann, propriétaire de
Digital Press, de le mettre à la disposition de tous.
-
Common Lisp, the Language Version PostScript du livre de
Guy Steele.
-
Common Lisp: A Gentle Introduction to Symbolic Computation
Un livre de David S. Touretzky sur la programmation symbolique
en Common Lisp. Merci à David de le mettre à la disposition de
tous (voir conditions sur le site Web).
-
CMU Common Lisp User Manual version PostScript.
-
CLX User Manual Version HTML de la documentation de
l'interface Common Lisp avec X11.
-
CLIM Specification Version HTML de la specifiction du
gestionnaire d'interfaces Common Lisp. l'interface Common
Lisp avec X11.
-
CLIM User Manual Version PostScript du manuel utilisateur
de la specifiction du gestionnaire d'interfaces Common Lisp.
l'interface Common Lisp avec X11.
-
Programming Style by Peter Norvig and Kent Pitman
Un guide de style de programmation en Common Lisp (en
PostScript).
-
Design Patters for dynamic Languages by Peter Norvig
Les "patterns" habituels existent souvent à cause de
restrictions du langage de programmation utilisé (HTML).
-
Lisp as an Alternative to Java. Une comparaison entre Java
et Lisp de NASA.
-
Software Fault Prevention by Language Choice: Why C is Not my
Favorite Language. Un article concernat le choix du
langage de programmation comme facteur principal d'amélioration
de la productivité de développement.
-
Common Lisp -- Myths and Legends
La liste de Mythes concernant Lisp de chez Xanalys
-
CMU Common Lisp pour Linux et FreeBSD
-
Stream definition by user (David Gray)
-
The Evolution of Lisp Un document historique concernant
l'évolution du langage Lisp.
- Structure and
Interpretation of Computer Programs Le livre très connu de
Harold Abelson, Gerald Jay Sussman et Julie Sussman. Ce livre
n'utilise pas Common Lisp, mais Scheme, considéré par certains
comme un dialecte de Lisp. Maintenant, le texte entier est
disponible en-ligne. C'est l'un de livre "must" de
l'informatique pratique.
-
Comment écrire du code non maintenable (humour)
Examens
Attention, certains de ces examens contiennent une partie sur la programmation
orientée objets en langage Java, et certains autres une partie sur la
programmation impérative en C qui ne sont plus ensignées dans le cadre
de TFP/T.