Graham Hutton Reihenfolge der Bücher

Dieser Autor befasst sich mit formalen Ansätzen zur Programmkonstruktion und -verifizierung mit dem Ziel, einfache, aber leistungsfähige Techniken zum Schreiben und Begründen von Programmen zu entwickeln. Seine Arbeit betont die zugrunde liegende mathematische Struktur von Programmen und behandelt Themen wie funktionales Parsen, relationale Programmierung und koinduktive Typen. Seine Forschung konzentriert sich auf elegante und effiziente Methoden in der Informatik.