Avis des lecteurs
Résumé:Le livre fournit une introduction claire et intéressante à la sémantique, particulièrement aidée par l'outil PLT Redex. Alors que la première partie est louée pour sa vue d'ensemble et son contexte historique, les sections suivantes sur PLT Redex et les études de cas ont reçu des critiques mitigées, soulignant certaines confusions et incohérences.
Avantages:⬤ Présentation claire et intéressante de la sémantique
⬤ utilisation efficace de PLT Redex pour l'expérimentation
⬤ aperçu accessible de la sémantique opérationnelle
⬤ forte introduction à la sémantique à petits pas et aux contextes d'évaluation.
⬤ Les premiers chapitres introduisent une terminologie déroutante
⬤ manque d'explications sur les caractéristiques fondamentales de Redex
⬤ la deuxième partie semble surchargée et mal intégrée aux sections précédentes
⬤ les études de cas sont présentées de manière incohérente et manquent d'une organisation claire.
(basé sur 4 avis de lecteurs)
Titre original :
Semantics Engineering with PLT Redex
Contenu du livre :
Ce texte est la première présentation complète de la sémantique de la réduction en un seul volume, et le premier ensemble d'outils pour de telles formes de sémantique. Ce texte est la première présentation complète de la sémantique de la réduction en un seul volume ; il introduit également le premier ensemble d'outils fiables et faciles à utiliser pour de telles formes de sémantique.
Les ingénieurs en logiciel savent depuis longtemps que l'utilisation d'outils automatiques est essentielle pour le prototypage et la modélisation rapides, et ce livre s'adresse à l'ingénieur en sémantique (étudiant diplômé ou concepteur de langage professionnel). Le livre est accompagné d'une suite d'outils de prototypage permettant de développer, d'explorer, de tester, de déboguer et de publier des modèles sémantiques de langages de programmation. Avec PLT Redex, les sémanticiens peuvent formuler des modèles sous forme de grammaires et de modèles de réduction sur leurs ordinateurs avec la facilité du papier et du crayon.
Le texte présente d'abord un cadre pour la formulation de modèles de langage, en se concentrant sur les calculs équationnels et les machines abstraites, puis introduit PLT Redex, une suite d'outils logiciels permettant d'exprimer ces modèles en tant que modèles PLT Redex. Enfin, les experts décrivent une série de modèles formulés dans Redex.
PLT Redex est livré avec l'implémentation PLT Scheme, disponible gratuitement à l'adresse http : //www.plt-scheme.org/. Les lecteurs peuvent télécharger le logiciel et expérimenter Redex tout en parcourant le livre.
Autres informations sur le livre :
| ISBN : | 9780262062756 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Relié |
| Année de publication : | 2009 |
| Nombre de pages : | 520 |
Achat:
Actuellement disponible, en stock.
