Introduction à la théorie des langages de programmation
  • Introduction à la théorie des langages de programmation

Introduction à la théorie des langages de programmation

Auteur(s) : Dowek Gilles, Lévy Jean-Jacques
Diffusion Ellipses 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 complexe. Ce livre prop...LIRE LA SUITE
Pages : 112 pages
Format : 17 cm x 24 cm
Poids : 0,206 kg
LIVRE
ISBN :  9782730213332
18,30€
TTC
Disponible

Diffusion Ellipses

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

Pour en savoir plus : cliquez ici

L’éditeur vous recommande également

Locke

Locke

Auteur(s) : Bothereau Fabrice
Livre 12,00 €
Le sujet à l’œuvre

Le sujet à l’œuvre

Auteur(s) : Argelès Daniel, Cassidy Meghann, Jolivet Anne-Marie, Knörzer Heidi, Pauly Véronique
Livre 20,00 €
LIVRE
ISBN :  9782730213332
18,30€
TTC
Disponible

Haut de page