Introduction � la th�orie des langages de programmation - Couverture souple

Dowek, Gilles; L�vy, Jean-Jacques

9782730213332: Introduction � la th�orie des langages de programmation

Couverture souple

ISBN 10 : 2730213333 ISBN 13 : 9782730213332

Editeur : ECOLE POLYTECH, 2006

Afficher les exemplaires de cette �dition comportant l?ISBN

1 D'occasion

De EUR 16,89

0 Neuf

Pr�sentation de l'�diteur

La conception et la r�alisation de langages de programmation, depuis Fortran et Cobol jusqu'� Caml et Java, est l'une des cl�s du d�veloppement et de la ma�trise de syst�mes informatiques toujours plus complexes. Ce livre propose au lecteur de partir � la d�couverte des outils qui permettent de penser, d�finir et impl�menter ces langages. Il propose 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, en insistant sur le fait que les uns et les autres cherchent toujours � d�finir une relation qui lie trois objets : un programme, une valeur d'entr�e et une valeur de sortie. Ces formalismes sont illustr�s en pr�sentant la s�mantique de quelques fonctionnalit�s repr�sentatives des langages de programmation : les fonctions, la r�cursivit�, les affectations, les enregistrements, les objets,... en insistant sur le fait que l'�tude des langages de programmation ne consiste pas � �tudier ces langages l'un apr�s l'autre, mais s'organise autour des fonctionnalit�s que l'on retrouve dans les diff�rents langages. L'�tude de ces diff�rentes fonctionnalit�s d�bouche enfin sur l'�criture d'�valuateurs, d'interpr�teurs, de compilateurs, et aussi de programmes d'inf�rence de types, pour de petits langages. Ce livre, qui s'adresse aux �tudiants de premi�re ann�e de Master, pr�sente de mani�re synth�tique ce que tous les informaticiens, quelle que soit leur sp�cialit�, devraient savoir sur les langages de programmation.

Biographie de l'auteur

Gilles Dowek est professeur � l'Ecole Polytechnique et chercheur � l'Institut National de Recherche en Informatique et en Automatique et au Laboratoire d'Informatique de l'Ecole Polytechnique. Ses travaux portent sur la formalisation des math�matiques et sur la m�canisation du raisonnement. Sa principale contribution est une reformulation de la m�thode axiomatique qui donne une place centrale � la notion de calcul.Jean-Jacques L�vy est directeur de recherche � l'Institut National de Recherche en Informatique et Automatique et professeur � l'Ecole Polytechnique. Il a successivement travaill� sur la s�mantique op�rationnelle et d�notationnelle des langages de programmation, sur les strat�gies de r�ductions dans le lambda-calcul et les syst�mes de r��criture, sur la conception assist�e par ordinateur des circuits int�gr�s et sur la s�mantique de la concurrence avec applications pour la distribution et la mobilit�.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.