Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Introduction à la théorie des langages de programmation
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Introduction à la théorie des langages de programmation

Introduction à la théorie des langages de programmation

Bertrand Meyer

404 pages, parution le 01/03/2003

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

  1. Concepts fondamentaux
  2. Fondements mathématiques
  3. La syntaxe
  4. Sémantique : les principales méthodes
  5. Le lambda-calcul
  6. Sémantique dénotationnnelle : concepts fondamentaux
  7. Sémantique dénotationnnelle : constructions de langages
  8. Les mathématiques de la récursion
  9. La sémantique axiomatique
  10. 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

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription