Refinement Types: A Tutorial
Verfeinerungstypen können der Vektor sein, der die formale Verifikation in den Mainstream der Softwareentwicklung bringt. Dieses glückliche Ergebnis hängt vom Entwurf und der Implementierung von Verfeinerungstypsystemen ab, die in bestehende Sprachen nachgerüstet oder zusammen mit neuen Sprachen entwickelt werden können.
In diesem Buch katalysieren die Autoren die Entwicklung solcher Systeme, indem sie die Ideen, die in der umfangreichen Literatur zu diesem Thema entwickelt wurden, in ein kohärentes und einheitliches Tutorial destillieren, das die Hauptbestandteile moderner Verfeinerungstypsysteme erklärt, indem es zeigt, wie man einen Verfeinerungstyp-Prüfer implementiert.
Inspiriert durch das Nanopass-Framework für die Lehre der Kompilierung zeigen die Autoren, wie man Verfeinerungstypen über eine Reihe von Sprachen implementiert, die der Sprache oder dem Typsystem schrittweise Funktionen hinzufügen.
Das leicht zugängliche Buch bietet dem Leser eine aufschlussreiche Einführung in Verfeinerungstypen, wobei ein innovativer Lehrstil verwendet wird, der ein schnelles Lernen ermöglicht. Darüber hinaus ermöglicht die begleitende Software-Implementierung dem Leser, an praktischen Beispielen aus der Praxis zu arbeiten.
| ISBN: | 9781680838848 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
