Volet : Cours magistral, Laboratoire, Tutoriel

Préalables : CSI 2501, CSI 2520.

• Professeur
  Dr. Amy Felty
  SITE 5-068
  afelty@uottawa.ca
  

• Manuels de cours
  • Concepts in Programming Languages, John C. Mitchell, Cambridge University Press, 2003. Une version en format E-book peut être acheté.
  • Real World OCaml, Yaron Minsky, Anil Madhavapeddy, and Jason Hickey, O'Reilly, 2014. Disponible sur le web.

• Références supplémentaires
  • Programming Languages: Principles and Paradigms, Maurizio Gabbrielli and Simone Martini, Springer, 2010. Disponible en format E-Book.
  • Programming Paradigms for Dummies: What Every Programmer Should Know, Peter Van Roy, dans New Computational Paradigms for Computer Music, G. Assayag and A. Gerzo (eds.), IRCAM/Delatour France, 2009.
  • Programmation: Concepts, techniques et modèles, Peter Van Roy and Seif Haridi, Dunod Éditeur, 2007.
  • Concepts, Techniques, and Models of Computer Programming, Peter Van Roy and Seif Haridi, MIT Press, 2004. (Une version anglaise plus longue du livre précédent. Une version antérieure est disponible sur le web.)
  • Concepts of Programming Languages, Robert W. Sebesta, 12th edition, Pearson, 2019.
  • Programming Languages: Principles and Paradigms, Allen B. Tucker and Robert E. Noonan, McGraw Hill, 2ième édition, 2007.

• Plan approximatif des cours:

  Sujet	Lecture (Voir "Manuels de cours" et "Références supplémentaires" ci-dessus)
  Introduction aux paradigmes de programmation	Obligatoire: chapitre 1, Mitchell Obligatoire: chapitre 13, Gabbrielli et Martini Optionnel: l'article "Programming Paradigms for Dummies"
  Introduction à OCaml	Optionnel: Real World OCaml, chapitre 1 jusqu'à la fin de la sous-section "Options"
  Le contrôle du type Données simple	Optionnel: Real World OCaml, chapitre 2 jusqu'à la fin de la sous-section "Prefix and Infix Operators"
  Types de données inductifs	Optionnel: Real World OCaml, chapitre 3, les 2 premières sous-sections: "List Basics" and "Using Patterns..."
  Programmation d'ordre supérieur et polymorphisme
  Les définitions de types de données
  Les modules et les types abstraits	Optionnel: Real World OCaml, chapitre 4, les sous-sections: "Signatures and Abstract Types", "Concrete Types in Signatures", "Nested Modules", "Opening Modules"
  Données mutables	Optionnel: Real World OCaml, chapitre 8 de la sous-section "Mutable Record and Object Fields and Ref Cells" à la fin de la sous-section "Modifying the List"
  La syntaxe et la sémantique	Obligatoire: chapitre 4, Mitchell (sauf 4.2.3, 4.2.4, and 4.3)
  La portée, les fonctions et la gestion de mémoire	Obligatoire: chapitre 7, Mitchell
  Structures de contrôle dans les langages de programmation séquentielle	Obligatoire: chapitre 8, Mitchell
  Concepts des langages de programmation orientée objet	Obligatoire: chapitre 10, Mitchell Obligatoire: Real World OCaml, chapitres 11 et 12
  Les combinateurs, l'organisation en pipeline et les scripts dans OCaml
  La concurrence et la programmation réepartie	Obligatoire: chapitre 14, pages 431-441 and 445-448, Mitchell
  La sémantique axiomatique	Obligatoire: chapitre 3, section 3.5.3, Sebesta