Introduction à la théorie des langages de programmation / Bertrand, Meyer [ Livre]
Langue: Français ; de l'oeuvre originale, Français.Publication : Paris : InterEditions, 1992Description : XVII-451 p. ; 23 cmISBN: 2729604162.Collection: Informatique intelligence artificielleClassification: F 3 Théorie des langages de programmationRésumé: Sommaire 1. Concepts fondamentaux 2. Fondements mathématiques 3. La syntaxe 4. Sémantique : les principes méthodes 5. Le lambda-calcul 6. Sémantique dénotationnelle : concepts fondamentaux 7. Sémantique dénotationnelle : constructions de langages 8. Les mathématiques de la récursion 9. La sémantique axiomatique 10. La cohérence des définitions sémantiques.Sujet - Nom commun: Ordinateurs -- Programmation | Langages de programmation -- Syntaxe | Langages de programmation | Génie logicielCurrent location | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|
ENS Rennes - Bibliothèque Informatique | F 3 MEY (Browse shelf) | Available | F 3 Théorie des langages de programmation | 00004855 |
Bibliogr. p. 423-433. Index
Sommaire
1. Concepts fondamentaux
2. Fondements mathématiques
3. La syntaxe
4. Sémantique : les principes méthodes
5. Le lambda-calcul
6. Sémantique dénotationnelle : concepts fondamentaux
7. Sémantique dénotationnelle : constructions de langages
8. Les mathématiques de la récursion
9. La sémantique axiomatique
10. La cohérence des définitions sémantiques