Lavoisier S.A.S.
14 rue de Provigny
94236 Cachan cedex
FRANCE

Heures d'ouverture 08h30-12h30/13h30-17h30
Tél.: +33 (0)1 47 40 67 00
Fax: +33 (0)1 47 40 67 02


Url canonique : www.lavoisier.fr/livre/autre/instruction-sequences-for-computer-science/bergstra/descriptif_2649397
Url courte ou permalien : www.lavoisier.fr/livre/notice.asp?ouvrage=2649397

Instruction Sequences for Computer Science, 2012 Atlantis Studies in Computing Series, Vol. 2

Langue : Anglais

Auteurs :

Couverture de l’ouvrage Instruction Sequences for Computer Science
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.
Introduction.- Instruction Sequences.- Instruction Processing.- Expressiveness of Instruction Sequences.- Computation-Theoretic Issues.- Computer-Architectural Issues.- Instruction Sequences and Process Algebra.- Variations on a Theme.- Appendix A: Five Challenges for Projectionism.- Appendix B: Natural Number Functional Units.- Appendix C: Dynamically Instantiated Instructions.- Appendix D: Analytic Execution Architectures.

Contains a complete and self-contained theory about imperative programs based on very elementary principles

Presents the first theory of instruction sequences, a forgotten basic concept of computer science

Provides a new perspective on non-uniform computational complexity

Provides a new perspective on the halting problem

Date de parution :

Ouvrage de 232 p.

15.5x23.5 cm

Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).

Prix indicatif 105,49 €

Ajouter au panier

Date de parution :

Ouvrage de 232 p.

Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).

Prix indicatif 99,37 €

Ajouter au panier