Introduction à la théorie des langages de programmation [ Livre] / Gilles, Dowek / Jean-Jacques, Levy

Auteur principal: Dowek, GillesCo-auteur: Lévy, Jean-JacquesLangue: Français ; de l'oeuvre originale, Français.Publication : Palaiseau : Ed. de l'Ecole polytechnique, 2006Description : 1 vol. (109 p.) ; 25 cmISBN: 2730213333.Classification: F 3 Théorie des langages de programmationRé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..Sujet - Nom commun: Langages de programmation -- Sémantique | Langages de programmation fonctionnelle
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
F 3 DOW (Browse shelf) Available F 3 Théorie des langages de programmation 040645
ENS Rennes - Bibliothèque
Informatique
F 3 DOW (Browse shelf) Exclu du prêt F 3 Théorie des langages de programmation 012655
ENS Rennes - Bibliothèque
Informatique
F 3 DOW (Browse shelf) Available F 3 Théorie des langages de programmation 012470
ENS Rennes - Bibliothèque
Informatique
F 3 DOW (Browse shelf) Available F 3 Théorie des langages de programmation 012471

Bibliogr., 4 p. Index

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.

Powered by Koha