Titre original :
Refinement Types: A Tutorial
Contenu du livre :
Les types de raffinement peuvent être le vecteur qui introduit la vérification formelle dans le développement logiciel courant. Ce résultat heureux dépend de la conception et de la mise en œuvre de systèmes de types de raffinement qui peuvent être adaptés aux langages existants ou conçus conjointement avec de nouveaux langages.
Dans ce livre, les auteurs catalysent le développement de tels systèmes en distillant les idées développées dans la littérature tentaculaire sur le sujet dans un tutoriel cohérent et unifié qui explique les ingrédients clés des systèmes de types de raffinement modernes, en montrant comment implémenter un vérificateur de types de raffinement.
Inspirés par le cadre nanopass pour l'enseignement de la compilation, les auteurs montrent comment mettre en œuvre les types de raffinement par le biais d'une progression de langages qui ajoutent progressivement des fonctionnalités au langage ou au système de types.
Le livre, facilement accessible, fournit au lecteur une introduction perspicace aux types de raffinement en utilisant un style de tutoriel innovant qui permet un apprentissage rapide. De plus, l'implémentation logicielle qui l'accompagne permet aux lecteurs de travailler sur des exemples pratiques du monde réel.
Autres informations sur le livre :
| ISBN : | 9781680838848 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
