Articles liés à Introduction à la théorie des langages de programmation

Introduction à la théorie des langages de programmation - Couverture souple

 
9782730213332: Introduction à la théorie des langages de programmation

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.

  • ÉditeurECOLE POLYTECH
  • Date d'édition2006
  • ISBN 10 2730213333
  • ISBN 13 9782730213332
  • ReliureBroché
  • Languefrançais
  • Nombre de pages110

Acheter D'occasion

état :  Très bon
Text in French. En savoir plus sur cette édition
EUR 17,64

Autre devise

Frais de port : EUR 5,23
Vers Etats-Unis

Destinations, frais et délais

Ajouter au panier

Meilleurs résultats de recherche sur AbeBooks

Image d'archives

Dowek, Gilles; Lévy, Jean-Jacques
Edité par École Polytechnique, 2013
ISBN 10 : 2730213333 ISBN 13 : 9782730213332
Ancien ou d'occasion Soft cover

Vendeur : Exchange Value Books, New York City, NY, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Soft cover. Etat : Fine. Text in French. N° de réf. du vendeur N2-JT1H-KSZE

Contacter le vendeur

Acheter D'occasion

EUR 17,64
Autre devise
Frais de port : EUR 5,23
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Dowek, Gilles, Lévy, Jean-Jacques
Edité par ECOLE POLYTECH, 2006
ISBN 10 : 2730213333 ISBN 13 : 9782730213332
Ancien ou d'occasion Couverture souple

Vendeur : medimops, Berlin, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. N° de réf. du vendeur M02730213333-V

Contacter le vendeur

Acheter D'occasion

EUR 16,47
Autre devise
Frais de port : EUR 9
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier