Introduction à la théorie des langages de programmation

Bertrand Meyer

404 pages, parution le 01/03/2003

Ajouter à une liste

Indisponible

Résumé

Pour les développeurs de logiciel, les langages de programmation sont l'outil fondamental et quotidien. Trop peu pourtant connaissent les bases théoriques qui permettent de maîtriser les langages et de mieux les employer. Par une démarche progressive, claire et bien structurée, l'auteur présente successivement les notions de syntaxe abstraite et de sémantique formelle. Puis il développe la sémantique dénotationnelle et la sémantique axiomatique. Pour illustrer son discours, il expose et approfondit des concepts importants, comme le lambda-calcul et les définitions récursives. Ce livre fournit, de surcroît, une excellente étude comparative des caractéristiques de différents langages de programmation. Algol, Ada, Lisp, Pascal, C... et les langages à objets. notamment Eiffel, sont tour à tour évoqués.

Il en ressort une vue synthétique très riche de leurs différences et/ou de leurs parentés ainsi que des choix qui ont présidé à leur implémentation. La présentation a été conçue pour des praticiens de la programmation ; l'auteur utilise en permanence des exemples de programmes concrets et des analogies empruntées aux situations les plus courantes de la construction de logiciel. Tous les concepts mathématiques nécessaires sont empruntés à la théorie élémentaire des ensembles et définis clairement dans un bref chapitre d'introduction. Enfin, le lecteur appréciera de pouvoir évaluer ses acquis grâce aux exercices proposés à la fin de chaque chapitre.

Au sommaire

Concepts fondamentaux
Fondements mathématiques
La syntaxe
Sémantique : les principales méthodes
Le lambda-calcul
Sémantique dénotationnnelle : concepts fondamentaux
Sémantique dénotationnnelle : constructions de langages
Les mathématiques de la récursion
La sémantique axiomatique
La cohérence des définitions sémantiques

L'auteur - Bertrand Meyer

Français installé longtemps aux États-Unis, Bertrand Meyer est un des pionniers de l'approche objet et des techniques de génie logiciel associées. Créateur du langage Eiffel, il a fondé en 1985 en Californie la société Eiffel Software, éditeur d'outils de développement orientés objet et de bibliothèques de composants. Consultant et conférencier renommé, il est auteur de nombreux ouvrages parus en anglais sur la théorie des langages, le génie logiciel, les technologies objet et le langage Eiffel. Depuis 2001 il occupe, tout en restant associé à Eiffel Software, la chaire de Génie logiciel à l'École Polytechnique Fédérale de Zurich [ETH), où il a succédé à Niklaus Wirth, le créateur du langage Pascal. Membre de l'Académie des technologies et docteur honoris causa de l'université de Saint-Pétersbourg, Bertrand Meyer a reçu plusieurs prix pour son oeuvre scientifique, en particulier le Jolt Award pour le présent ouvrage, le premier prix Dahl-Nygaard de technologie objet et le Software System Award de l'ACM en 2007.

Caractéristiques techniques

	PAPIER
Éditeur(s)	InterEditions
Auteur(s)	Bertrand Meyer
Parution	01/03/2003
Nb. de pages	404
Format	15.5 x 23
Couverture	Broché
Poids	692g
Intérieur	Noir et Blanc
EAN13	9782729604165