Graham Hutton Ordre des livres

Cet auteur explore les approches formelles pour la construction et la vérification de programmes, dans le but de développer des techniques simples mais puissantes pour écrire et raisonner sur les programmes. Son travail met l'accent sur la structure mathématique sous-jacente des programmes, explorant des sujets tels que l'analyse fonctionnelle, la programmation relationnelle et les types coinductifs. Ses recherches se concentrent sur des méthodologies élégantes et efficaces en informatique.