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

Gilles Dowek, Jean-Jacques Lévy

110 pages, parution le 12/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

Gilles Dowek est un chercheur, informaticien et écrivain français, né en 1965. Il un ancien élève de L'École polytechnique (promotion X1985). L’auteur est titulaire d'un doctorat en informatique de l'Université Paris 7 et est spécialisé dans le domaine de la logique et de la vérification formelle des programmes. Il est également directeur de recherche à l'Institut National de Recherche en Informatique et en Automatique (INRIA).

En parallèle de sa carrière scientifique, Gilles Dowek s'est distingué en tant qu'auteur, abordant des sujets complexes tels que l'intelligence artificielle et les algorithmes, tout en explorant la nature du langage et de la communication humaine. Au-delà de ses écrits, Gilles Dowek est un chercheur reconnu dans le domaine de l'informatique. Ses travaux sur la vérification formelle des programmes ont contribué à renforcer la fiabilité et la sécurité des logiciels. En tant que directeur de recherche à l'INRIA, il participe activement au développement de projets innovants dans le domaine de l'intelligence artificielle et de la logique.

Dans cet ouvrage Intelligence artificielle, il explore les notions d'apprentissage automatique et d'intelligence des machines. Dowek dissèque les mythes et les réalités entourant l'IA, tout en mettant en garde contre les idées reçues et les espoirs excessifs placés en cette technologie. Il souligne la nécessité de comprendre les limites de l'IA et d'envisager son rôle dans la société avec précaution et discernement.

Photographie © Wikipedia

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

  PAPIER
Éditeur(s) Les éditions de l'Ecole polytechnique
Auteur(s) Gilles Dowek, Jean-Jacques Lévy
Parution 12/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

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