Cours : Philippe Audebaud (Philippe.Audebaud)
TD : Romain Demangeon, Pierre Lescanne (Romain.Demangeon, Pierre.Lescanne)
Le but de ce cours est de compléter les connaissances acquises en ce qui concerne la programmation et les langages de programmation. On essaiera de comprendre comment on vérifie qu’un programme est correct et comment les langages fonctionnent, c’est-à-dire comment ils sont mis en oeuvre et comment on leur donne une signification (on dit une «sémantique»). On en dira aussi plus sur le typage et les langages à objets.