Ce cours de programmation s'adresse à des étudiants qui ont déjà une première expérience de la programmation, qu'ils soient en licence d'informatique (niveaux L2 ou L3) ou en écoles d'ingénieurs.

Traduction partielle d'un cours de référence publié par MIT Press, cet ouvrage présente l'originalité d'expliquer les concepts majeurs de la programmation à l'aide d'une approche synthétique qui en fait ressortir l'unité sous-jacente. Il propose une sémantique simple et complète qui permet de comprendre tous ces concepts sans pour autant sacrifier la rigueur. Toutes les notions théoriques présentées sont illustrées par des centaines d'extraits de code. En outre, 51 énoncés d'exercices fournissent au lecteur l'occasion de tester ses connaissances.

Un site gratuit avec des TP, des énoncés d'examens, des transparents, un lexique français/anglais et d'autres suppléments... complète utilement le livre.

Ce livre de cours est complété par un Labo interactif qui vous permettra de compiler et d'exécuter tous les exemples de code du livre et de nombreux autres, afin de comprendre par l'expérience comment fonctionnent ces programmes, les modifier, voire en écrire de nouveaux.

Ce Labo interactif est édité par ScienceActive. Il est vendu séparément et vous pouvez vous le procurer sur le site www.scienceactive.com.

• Avant-propos
• Labo interactif
• Introduction aux concepts de programmation
• La programmation déclarative
• Techniques de programmation déclarative
• La programmation concurrente dataflow
• La programmation avec état explicite
• La programmation orientée objet
• Annexe A : L'environnement de développement du système Mozart
• Annexe B : La syntaxe du langage Oz
• Bibliographie
• Index