Introduction à la théorie des langages de programmation
Enregistré dans:
Auteur principal: | Dowek, Gilles, 1966- |
---|---|
Autres auteurs: | Lévy, Jean-Jacques. |
Support: | Livre |
Langue: | Français |
Publié: |
Palaiseau :
Les Éd. de l'École polytechnique,
impr. 2006.
|
Sujets: | |
Autres localisations: | Voir dans le Sudoc |
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. |
Documents similaires
-
A semantic web primer
par: Antoniou, Grigoris.
Publié: 2004 -
Programmation en langage C
par: Kochan, Stephen G.
Publié: 2005 -
Manuel de référence du langage de programmation ADA
Publié: 1982 -
La programmation applicative : de LIPS à la machine en passant par le lambda-calcul
par: Saint-James, Emmanuel, 1956-
Publié: 1993 -
S'initier à la programmation : avec des exemples en C, C++, C sharp, Java et PHP
par: Delannoy, Claude, 1946-...., informaticien.
Publié: 2008