Introduction à la théorie des langages de programmation / Bertrand, Meyer [ Livre]

Auteur principal: Meyer, Bertrand, 1950-....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 logiciel
Current 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

Powered by Koha