Documents disponibles écrits par cet auteur

Introduction à la théorie des langages de programmation / Gilles Dowek

Public ISBD Titre : Introduction à la théorie des langages de programmation Type de document : texte imprimé Auteurs : Gilles Dowek, Auteur ; Jean-Jacques Lévy (19...-....), Auteur Editeur : Palaiseau [France] : Éditions de l'École polytechnique Année de publication : 2006 Importance : 109 p ISBN/ISSN/EAN : 2-7302-1333-3 Mots-clés : Langages  de  programmation Index. décimale : 519.682 Langages de programmation. Métalangages 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. Note de contenu : Table des matières 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 ISBN 13 : 978-2730213332 Introduction à la théorie des langages de programmation [texte imprimé] / Gilles Dowek, Auteur ; Jean-Jacques Lévy (19...-....), Auteur . - Palaiseau (France) : Éditions de l'École polytechnique, 2006 . - 109 p. ISBN : 2-7302-1333-3 Mots-clés : Langages  de  programmation Index. décimale : 519.682 Langages de programmation. Métalangages 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. Note de contenu : Table des matières 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 ISBN 13 : 978-2730213332

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
050040	519.682 DOW	Papier	Bibliothèque Annexe	Mathématiques	Disponible	En bon état
050041	519.682 DOW	Papier	Bibliothèque Annexe	Mathématiques	Disponible	En bon état
050042	519.682 DOW	Papier	Bibliothèque Annexe	Mathématiques	Disponible	En bon état
050043	519.682 DOW	Papier	Bibliothèque Annexe	Mathématiques	Disponible	En bon état
050044	519.682 DOW	Papier	Bibliothèque Annexe	Mathématiques	Disponible	En bon état

Principles of programming languages / Gilles Dowek

Public ISBD Titre : Principles of programming languages Type de document : texte imprimé Auteurs : Gilles Dowek, Auteur Editeur : Berlin : Springer Année de publication : 2009 Collection : Undergraduate topics in computer science Importance : 159 p. Présentation : ill. Format : 23 cm ISBN/ISSN/EAN : 978-1-84882-031-9 Note générale : Les principes des langages de programmation [Texte imprimé] / Gilles Dowek. - Palaiseau : École polytechnique, Département d'informatique, impr. 2005. - ISBN 2-7302-1239-6 Langues : Français (fre) Mots-clés : Langages  de  programmation Index. décimale : 681.3.066 Systemes opérationnels.Programme:moniteurs.superviseur. Résumé : The development of programming languages has profoundly impacted our relationship with language, complexity and machines. By introducing the principles of programming languages, using the Java language as a support, Gilles Dowek provides the necessary fundamentals of this language as a first objective. It is important to realise that knowledge of a single programming language is not really enough. To be a good programmer, you should be familiar with several languages and be able to learn new ones. In order to do this, you’ll need to understand universal concepts, such as functions or cells, which exist in one form or another in all programming languages. The most effective way to understand these universal concepts is to compare two or more languages. In this book, the author has chosen Caml and C. To understand the principles of programming languages, it is also important to learn how to precisely define the meaning of a program, and Note de contenu : 1- Imperative Core 2- Functions 3- Recursion 4- Records 5- Dynamic Data Types 6- Programming with Lists 7- Exceptions 8- Objects 9- Programming with Trees Principles of programming languages [texte imprimé] / Gilles Dowek, Auteur . - Springer, 2009 . - 159 p. : ill. ; 23 cm. - (Undergraduate topics in computer science) . ISBN : 978-1-84882-031-9 Les principes des langages de programmation [Texte imprimé] / Gilles Dowek. - Palaiseau : École polytechnique, Département d'informatique, impr. 2005. - ISBN 2-7302-1239-6 Langues : Français (fre) Mots-clés : Langages  de  programmation Index. décimale : 681.3.066 Systemes opérationnels.Programme:moniteurs.superviseur. Résumé : The development of programming languages has profoundly impacted our relationship with language, complexity and machines. By introducing the principles of programming languages, using the Java language as a support, Gilles Dowek provides the necessary fundamentals of this language as a first objective. It is important to realise that knowledge of a single programming language is not really enough. To be a good programmer, you should be familiar with several languages and be able to learn new ones. In order to do this, you’ll need to understand universal concepts, such as functions or cells, which exist in one form or another in all programming languages. The most effective way to understand these universal concepts is to compare two or more languages. In this book, the author has chosen Caml and C. To understand the principles of programming languages, it is also important to learn how to precisely define the meaning of a program, and Note de contenu : 1- Imperative Core 2- Functions 3- Recursion 4- Records 5- Dynamic Data Types 6- Programming with Lists 7- Exceptions 8- Objects 9- Programming with Trees

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
052175	681.3.066 DOW	Papier	Bibliothèque Centrale	Informatique	Disponible