Jan A Bergstra

Cornelis A. Middelburg

This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-known subjects from the theory of computation and the area of computer architecture are rigorously investigated in this book thinking in terms of instruction sequences. The subjects from the theory of computation, to wit the halting problem and non-uniform computational complexity, are usually investigated thinking in terms of a common model of computation such as Turing machines and Boolean circuits. The subjects from the area of computer architecture, to wit instruction sequence performance, instruction set architectures and remote instruction processing, are usually not investigated in a rigorous way at all.

Instruction Sequences for Computer Science

This book is aimed both at readers with an interest in Promise Theory, who may find here a useful case study, and who may contemplate the development of similar applications in other areas, and at readers who are primarily interested in the political science of nuclear deterrence. The latter readers may then come to an assessment about the usability of Promise Theory as a tool for further work.

Jan A Bergstra

About

Books

Join the club