Recherche avancée

Introduction à la théorie des langages de programmation

Gilles Dowek, Jean-Jacques Lévy

  • Ecole Polytechnique (editions)

  • Broché

  • Paru le : 01/07/2006

La conception et la réalisation de langages de programmation, depuis Fortran et Cobol jusqu'à Caml et Java, est l'une des clés du développement et de la...

› Lire la suite

maîtrise de systèmes informatiques toujours plus complexes. Ce livre propose au lecteur de partir à la découverte des outils qui permettent de penser, définir et implémenter ces langages. Il propose une vision unifiée des différents formalismes, sémantique opérationnelle à petits pas, à grands pas et sémantique dénotationnelle, qui permettent de définir un langage de programmation, en insistant sur le fait que les uns et les autres cherchent toujours à définir une relation qui lie trois objets : un programme, une valeur d'entrée et une valeur de sortie. Ces formalismes sont illustrés en présentant la sémantique de quelques fonctionnalités représentatives des langages de programmation : les fonctions, la récursivité, les affectations, les enregistrements, les objets,... en insistant sur le fait que l'étude des langages de programmation ne consiste pas à étudier ces langages l'un après l'autre, mais s'organise autour des fonctionnalités que l'on retrouve dans les différents langages. L'étude de ces différentes fonctionnalités débouche enfin sur l'écriture d'évaluateurs, d'interpréteurs, de compilateurs, et aussi de programmes d'inférence de types, pour de petits langages. Ce livre, qui s'adresse aux étudiants de première année de Master, présente de manière synthétique ce que tous les informaticiens, quelle que soit leur spécialité, devraient savoir sur les langages de programmation.

 › Réduire

Gilles Dowek et Jean-Jacques Lévy - Introduction à la théorie des langages de programmation.

Zoom
Les internautes qui ont aimé ce livre ont aussi apprécié :

Sommaire

Afficher le sommaire
    • Les termes et les relations
    • Le langage PCF
    • De l'évaluation à l'interprétation
    • La compilation
    • Le langage PCF avec des types
    • L'inférence de types
    • Les références et les affectations
    • Les enregistrements et les objets

Fiche technique

  • Date de parution : 01/07/06
  • Editeur : Ecole Polytechnique (editions)
  • ISBN : 2-7302-1333-3
  • EAN : 9782730213332
  • Présentation : Broché
  • Nb. de pages : 110 pages
  • Poids : 0,205 Kg
  • Dimensions : 16,5 cm × 24,0 cm × 0,5 cm
18,30 € -5% 17,39 €
Expédié sous 4 à 8 jours
Disponible en librairie ?
  • Sous 4 à 8 jours: Decitre Annecy
  • Sous 4 à 8 jours: Decitre Bellecour
  • Sous 4 à 8 jours: Decitre Chambéry
  • Sous 4 à 8 jours: Decitre Confluence
  • Sous 4 à 8 jours: Decitre Ecully
  • Sous 4 à 8 jours: Decitre Grenoble
  • Sous 4 à 8 jours: Decitre Langues du Monde
  • Sous 4 à 8 jours: Decitre Part-Dieu
  • Sous 4 à 8 jours: Decitre Saint-Genis-Laval
 
Ajouter à ma liste

Vos avantages Decitre
  • -5%Sur tous les livres sur les prix éditeurs
  • Satisfait ou remboursé
  • Livraison à domicile gratuite dès 35 €
  • Relais Colis livraison gratuite

À propos de l'auteur

Biographie de Gilles Dowek

Gilles Dowek est professeur à l'Ecole Polytechnique et chercheur à l'Institut National de Recherche en Informatique et en Automatique et au Laboratoire d'Informatique de l'Ecole Polytechnique. Ses travaux portent sur la formalisation des mathématiques et sur la mécanisation du raisonnement. Sa principale contribution est une reformulation de la méthode axiomatique qui donne une place centrale à la notion de calcul. Jean-Jacques Lévy est directeur de recherche à l'Institut National de Recherche en Informatique et Automatique et professeur à l'Ecole Polytechnique. Il a successivement travaillé sur la sémantique opérationnelle et dénotationnelle des langages de programmation, sur les stratégies de réductions dans le lambda-calcul et les systèmes de réécriture, sur la conception assistée par ordinateur des circuits intégrés et sur la sémantique de la concurrence avec applications pour la distribution et la mobilité.
Du même auteur :
Ce titre est également présent dans les rayons :
Introduction à la théorie des langages de programmation
Gilles Dowek, ...
-5% 17,39 € 18,30 €
Haut de page
Newsletter

Inscrivez-vous gratuitement !

Evénements Decitre

Agenda des rencontres DecitreTéléchargez l'agenda des rencontres

Service Client

Du lundi au vendredi de 9h à 17h30

Tel. : 0 825 56 10 55 (0,15 € / min)

E-mail : nous contacter

Decitre : permettre à chaque lecteur de trouver ses livres...