Tous nos rayons

Déjà client ? Identifiez-vous

Nouveau client ?

CRÉER VOTRE COMPTE
Votre panier contient 0 article
0,00 €
Introduction à la théorie des langages de programmation

Librairie Eyrolles - Paris 5e
Disponible en magasin

Introduction à la théorie des langages de programmation

Introduction à la théorie des langages de programmation

110 pages, parution le 01/10/2006

Résumé

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 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.

L'auteur Gilles Dowek

Mathématicien, logicien et informaticien, Gilles Dowek est directeur de recherche à l'INRIA. Il a enseigné à d'École polytechnique, a été expert pour la NASA et le ministère de l'Éducation nationale.

Autres livres de Gilles Dowek

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
Voir tout
Replier

Caractéristiques techniques du livre "Introduction à la théorie des langages de programmation"

  PAPIER
Éditeur(s) Les éditions de l'Ecole polytechnique
Auteur(s) Gilles Dowek, Jean-Jacques Lévy
Parution 01/10/2006
Nb. de pages 110
Format 17 x 24
Couverture Broché
Poids 205g
Intérieur Noir et Blanc
EAN13 9782730213332
ISBN13 978-2-7302-1333-2
Sélection de Noël

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine (1)

Paiement en ligne SÉCURISÉ

Livraison dans le monde

Retour sous 15 jours

+ de 700 000 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 0 321 79 56 75 sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925