|
Titre :
|
Introduction à la théorie des langages de programmation
|
|
Auteurs :
|
Gilles Dowek, Auteur ;
Jean-Jacques Lévy, Auteur
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Palaiseau (Essonne) : Ecole polytechnique, 2006
|
|
Collection :
|
Informatique
|
|
ISBN/ISSN/EAN :
|
978-2-7302-1333-2
|
|
Format :
|
109 p. / 24 x 17 cm
|
|
Note générale :
|
Index. Bibliogr.
|
|
Langues:
|
Français
|
|
Index. décimale :
|
005.3
|
|
Mots-clés:
|
langages de programmation
|
|
Résumé :
|
Les différents outils qui permettent de penser, définir et implémenter les langages de programmation les plus utilisés sont présentés avec 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.
|
