T�tulo: Introduction � la th�orie des langages de programmation (French Edition)
Editor: �cole Polytechnique
Fecha de publicaci�n: 2013
Idioma: Franc�s
ISBN 10: 2730213333
ISBN 13: 9782730213332
Encuadernaci�n: Soft cover
Estado: Fine

Acerca de

Sinopsis

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.

De la contraportada

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.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

I sell uncommon art catalogs, academic monographs, and prints, as well as rare ephemera such as posters and zines. I ship from Brooklyn, New York. I am an alum of the Rare Book School and the Colorado Antiquarian Book Seminar, as well as Indiana University and the Ohio State University. I started in the trade at the Wexner Center for the Arts bookstore, and I have previously worked for the Columbus Metropolitan Library, the Billy Ireland Cartoon Library and Museum, the Art Institute of Chicago's Department of Prints and Drawings, and the Indiana University Art Museum's center for Prints, Drawings, and Photographs. More recently, I was the rare book cataloger at Donald Heald Rare Books, for whom I worked the ABAA's New York International Antiquarian Book Fair.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

James Payne, Books and Prints
NY, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

Exchange Value Books guarantees the condition of every book as it is described on Abebooks. If dissatisfied with purchase (not as described/damaged), I am happy to issue a full refund upon dealer's receipt of the returned item within two weeks. Please pack returns carefully. "No longer needed" returns not accepted. All items subject to prior sale. If one has questions about accepted payment methods or terms of sale, do not hesitate to email james.payne.cc@gmail.com. Usual terms to the trade.

Condiciones de env�o

Exchange Value Books uses USPS media mail and ships within two days excluding extraordinary circumstances. I will ship to anywhere in the world that the numerous US embargoes do not forbid, however, if the real international shipping cost is in great variance to that listed, additional shipping may need to be charged. If one is purchasing from a prison, please indicate the specific rules for shipping books to the institution. Exchange Value Books encloses ordered books in waterproof mylar and protects books with cardboard and sufficient packaging.