الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي

Titre :	Introduction à la théorie des langages de programmation
Type de document :	texte imprimé
Auteurs :	Bertrand Meyer (1950-....), Auteur ; Jean-François Picardat (1959-....), Traducteur
Editeur :	Paris : InterÉd.
Année de publication :	1992
Collection :	IIA Informatique intelligence artificielle, ISSN 0297-5416
Importance :	XVII-451 p.
Présentation :	ill., couv. ill. en coul.
Format :	23 cm
ISBN/ISSN/EAN :	978-2-7296-0416-5
Note générale :	Bibliogr. p. 423-433. Index
Langues :	Français (fre) Langues originales : Anglais (eng)
Mots-clés :	programmation  théorie des langages
Index. décimale :	005
Résumé :	Pour les développeurs de logiciel, les langages de programmation sont l'outil fondamental et quotidien. Trop peu pourtant connaissent les bases théoriques qui permettent de maîtriser les langages et de mieux les employer. Par une démarche progressive, claire et bien structurée, l'auteur présente successivement les notions de syntaxe abstraite et de sémantique formelle. Puis il développe la sémantique dénotationnelle et la sémantique axiomatique. Pour illustrer son discours, il expose et approfondit des concepts importants, comme le lambda-calcul et les définitions récursives. Ce livre fournit, de surcroît, une excellente étude comparative des caractéristiques de différents langages de programmation. Algol, Ada, Lisp, Pascal, C... et les langages à objets. notamment Eiffel, sont tour à tour évoqués. Il en ressort une vue synthétique très riche de leurs différences et/ou de leurs parentés ainsi que des choix qui ont présidé à leur implémentation. La présentation a été conçue pour des praticiens de la programmation ; l'auteur utilise en permanence des exemples de programmes concrets et des analogies empruntées aux situations les plus courantes de la construction de logiciel. Tous les concepts mathématiques nécessaires sont empruntés à la théorie élémentaire des ensembles et définis clairement dans un bref chapitre d'introduction. Enfin, le lecteur appréciera de pouvoir évaluer ses acquis grâce aux exercices proposés à la fin de chaque chapitre.

Introduction à la théorie des langages de programmation [texte imprimé] / Bertrand Meyer (1950-....), Auteur ; Jean-François Picardat (1959-....), Traducteur . - Paris : InterÉd., 1992 . - XVII-451 p. : ill., couv. ill. en coul. ; 23 cm. - (IIA Informatique intelligence artificielle, ISSN 0297-5416) .
ISBN : 978-2-7296-0416-5
Bibliogr. p. 423-433. Index
Langues : Français (fre) Langues originales : Anglais (eng)

Mots-clés :	programmation  théorie des langages
Index. décimale :	005
Résumé :	Pour les développeurs de logiciel, les langages de programmation sont l'outil fondamental et quotidien. Trop peu pourtant connaissent les bases théoriques qui permettent de maîtriser les langages et de mieux les employer. Par une démarche progressive, claire et bien structurée, l'auteur présente successivement les notions de syntaxe abstraite et de sémantique formelle. Puis il développe la sémantique dénotationnelle et la sémantique axiomatique. Pour illustrer son discours, il expose et approfondit des concepts importants, comme le lambda-calcul et les définitions récursives. Ce livre fournit, de surcroît, une excellente étude comparative des caractéristiques de différents langages de programmation. Algol, Ada, Lisp, Pascal, C... et les langages à objets. notamment Eiffel, sont tour à tour évoqués. Il en ressort une vue synthétique très riche de leurs différences et/ou de leurs parentés ainsi que des choix qui ont présidé à leur implémentation. La présentation a été conçue pour des praticiens de la programmation ; l'auteur utilise en permanence des exemples de programmes concrets et des analogies empruntées aux situations les plus courantes de la construction de logiciel. Tous les concepts mathématiques nécessaires sont empruntés à la théorie élémentaire des ensembles et définis clairement dans un bref chapitre d'introduction. Enfin, le lecteur appréciera de pouvoir évaluer ses acquis grâce aux exercices proposés à la fin de chaque chapitre.