Les auteurs expliquent comment définir et construire des abstractions de manière rigoureuse afin d'avoir un impact important sur les performances d'un programme informatique.