Cours de L3 “programmation”

Jean Goubault-Larrecq
LSV, ENS Cachan, CNRS, INRIA
61 avenue du président-Wilson, F-94235 Cachan Cedex
goubault@lsv.ens-cachan.fr
Phone: +33-1 47 40 22 60   Fax: +33-1 47 40 75 21


  Cours TD TP
Où? ENS Cachan, bâtiment Cournot
  C321  
Quand? Le mardi de 13h à 17h* Les mercredi et jeudi
      de 17h à 18h30
Par qui? Jean Goubault-Larrecq Rémi Bonnet
      Vincent Cheval
 
  goubault@lsv.ens-cachan.fr {bonnet,cheval}@lsv.ens-cachan.fr
  Roberto Amadio  
  Giuseppe Castagna


* sauf au premier cours, mardi 13 septembre 2011: de 14h à 18h.

Le cours de programmation de 1ère année du l'année L3 se découpe en trois parties:
  1. Programmation 1.1, un demi-semestre, par Jean Goubault-Larrecq;
  2. Programmation 1.2, un demi-semestre, par Roberto Amadio;
  3. Programmation 2, un semestre, par Giuseppe Castagna.
Cette page ne documente que le cours de programmation 1.1. Il y sera question de programmation impérative, d'architecture de machines, de langage machine et d'assembleur, et de sémantique des langages impératifs.

On y mettra donc les mains dans le cambouis, mais pas autant que dans les cours de programmation plus traditionnels.

Par exemple, on ne verra pas tous les détails du langage C. Vous pouvez consulter plusieurs sources là-dessus, le livre de Kernighan et Richie, ou d'autres sources en ligne comme Wikilivres ou celle-ci.

On verra un peu plus en détail comment fonctionne un microprocesseur. Je pourrais vous recommander des sources relativement complètes, comme celle de WikiPedia, ou (bien pire) le guide de référence du Pentium. Vous n'aurez besoin que d'un mini-guide pour toute référence.

On y parlera aussi un peu de sémantique. En fait, vous devriez vous apercevoir au bout d'un certain temps que c'est le thème central du cours.

This document was translated from LATEX by HEVEA.