Note :
L'ouvrage est loué pour la qualité de son contenu et les connaissances approfondies de l'auteur en matière de théorie des langages de programmation. Cependant, de nombreux lecteurs le trouvent trop complexe et peu convivial, citant un manque d'intuition dans les explications et une forte dépendance à l'égard des preuves formelles.
Avantages:⬤ Matériel de haute qualité et belle présentation
⬤ définitions concises et précises
⬤ connaissances de l'auteur faisant autorité
⬤ exemples de code détaillés et méthodologie de programmation
⬤ sujet captivant.
⬤ Pas facile à utiliser
⬤ trop abstrait dans certaines parties
⬤ explications insuffisamment intuitives
⬤ recours important aux preuves formelles
⬤ peut être déroutant sans un soutien supplémentaire de la part des enseignants.
(basé sur 5 avis de lecteurs)
Practical Foundations for Programming Languages
Ce texte développe une théorie complète des langages de programmation basée sur les systèmes de types et la sémantique opérationnelle structurelle. Les concepts de langage sont précisément définis par leur sémantique statique et dynamique, présentant les outils essentiels à la fois intuitivement et rigoureusement tout en s'appuyant uniquement sur des mathématiques élémentaires.
Ces outils sont utilisés pour analyser et prouver les propriétés des langages et fournissent un cadre pour combiner et comparer les caractéristiques des langages. Le large éventail de concepts comprend les types de données fondamentaux tels que les sommes et les produits, les types polymorphes et abstraits, le typage dynamique, la répartition dynamique, le sous-typage et les types de raffinement, les symboles et la classification dynamique, le parallélisme et la sémantique des coûts, ainsi que la concurrence et la distribution.
Les méthodes sont directement applicables à l'implémentation des langages, au développement de logiques de raisonnement sur les programmes et à la vérification formelle des propriétés des langages telles que la sécurité des types. Cette deuxième édition entièrement révisée comprend des exercices à la fin de presque chaque chapitre et un nouveau chapitre sur les raffinements de type.
© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)