Comprendre les langages de programmation

Comprendre les langages de programmation (B. Jones Cliff)

Avis des lecteurs

Il n'y a actuellement aucun avis de lecteur. La note est basée sur 2 votes.

Titre original :

Understanding Programming Languages

Contenu du livre :

Ce livre traite de la description de la signification des langages de programmation. L'auteur enseigne l'art d'écrire des descriptions sémantiques comme moyen efficace de comprendre les caractéristiques d'un langage. Bien qu'un compilateur ou un interprète offre une forme de description formelle d'un langage, ce n'est pas quelque chose qui peut être utilisé comme base de raisonnement sur ce langage, ni servir de définition d'un langage de programmation lui-même, puisque celui-ci doit permettre une gamme d'implémentations. En écrivant une sémantique formelle d'un langage, un concepteur peut produire une description beaucoup plus courte et faire ressortir, analyser et enregistrer les choix de conception.

Au début du livre, l'auteur présente une notation simple, un méta-langage, utilisé pour enregistrer des descriptions de la sémantique des langages. Dans une approche pratique, il examine des dizaines de questions qui se posent dans les langages de programmation actuels et les techniques clés qui doivent être maîtrisées afin d'écrire les descriptions sémantiques formelles requises. Le livre se termine par une discussion sur les huit défis clés : délimiter un langage (représentation concrète), délimiter le contenu abstrait d'un langage, sémantique d'enregistrement (langages déterministes), sémantique opérationnelle (non-déterminisme), dépendance de contexte, modélisation du partage, modélisation de la concurrence et modélisation des sorties.

Le contenu est testé en classe et convient aux cours de dernière année de licence et de troisième cycle. Il convient également à tout concepteur qui souhaite comprendre les langages à un niveau profond. La plupart des chapitres proposent des projets, dont certains sont des exercices assez avancés qui demandent des descriptions complètes des langages, et le livre est étayé tout au long par des pointeurs vers des lectures complémentaires et des ressources. Le lecteur doit au préalable connaître au moins un langage impératif de haut niveau et avoir une certaine connaissance de la notation mathématique discrète pour la logique et la théorie des ensembles.