- EAN13
- 9782730213332
- ISBN
- 978-2-7302-1333-2
- Éditeur
- École Polytechnique
- Date de publication
- 12/10/2006
- Collection
- DIFFUSION ECOLE
- Nombre de pages
- 110
- Dimensions
- 23 x 17,8 x 0,8 cm
- Poids
- 216 g
- Langue
- français
- Code dewey
- 005.131
- Fiches UNIMARC
- S'identifier
Introduction à la théorie des langages de programmation
De Gilles Dowek, Jean-Jacques Lévy
École Polytechnique
Diffusion Ecole
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.
S'identifier pour envoyer des commentaires.
Autres contributions de...
-
Algorithmes et programmationRobert Cori, Jean-Jacques LévyEcole polytechnique, Département de mathématiques appliquées
-
Informatique fondamentale, promotion 2003, année 3, enseignement diversifié 2, INF 431Jean-Jacques LévyÉcole polytechnique
-
Introduction à la théorie des langages de programmation, majeure d'informatiqueGilles Dowek, Jean-Jacques LévyÉcole polytechnique
-
Informatique fondamentale, promotion 2002, année 3, enseignement diversifié 2...Jean-Jacques LévyÉcole polytechnique
-
Informatique fondamentale, promotion 2001,année 3, enseignement diversifié 2...Jean-Jacques LévyÉcole Polytechnique
-
Informatique fondamentale, promotion 2000, enseignement diversifié 2, 2e année, INF431, Première partieRobert Cori, Jean-Jacques LévyÉcole Polytechnique
-
Les principes des langages de programmation, promotion 2004, année 1, tronc commun, INF 321Gilles DowekÉcole polytechnique
-
Les principes des langages de programmation, promotion 2006, année 1, tronc commun...Gilles DowekÉcole polytechnique
-
Introduction à la théorie des langages de programmation, majeure d'informatiqueGilles Dowek, Jean-Jacques LévyÉcole polytechnique
-
Ce dont on ne peut parler il faut l'écrire, Langues et langagesGilles DowekÉditions du Pommier19,00
-
Intelligence artificielle , enquête sur ces technologies qui changent nos viesYann LeCun, Cédric Villani, Enki Bilal, Gilles Dowek, Laurence Devillers, Jean-Gabriel Ganascia, Jean-Paul DelahayeFlammarion8,00