Instruction Sequences for Computer Science

"Instruction sequences for computer science" est un ouvrage spécialisé qui propose une approche innovante pour analyser des sujets en informatique. Il examine le rôle des séquences d'instructions et leur importance dans divers domaines, y compris la théorie de la calculabilité et l'architecture des ordinateurs. Les auteurs, Cornelis A. Middelburg et Jan A. Bergstra, mettent en lumière des problèmes complexes tels que le problème de l'arrêt et la complexité de calcul non uniforme, généralement abordés par des modèles comme les machines de Turing et les circuits booléens. De plus, la performance des séquences d'instructions et l'architecture des jeux d'instructions sont analysées en profondeur, un sujet souvent traité de manière insuffisante dans la littérature. Ce livre s'adresse aux professionnels et aux étudiants souhaitant développer une compréhension approfondie des aspects théoriques et pratiques des séquences d'instructions en informatique.