Instruction sequences for computer science.
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical problems of computer architecture (68M07) Theory of software (68Nxx) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
This book concerns instruction sequences, the behaviours produced by instruction sequences under execution the interaction between these behaviours and components of the execution environment concerning the processing of instructions, the expressiveness of instruction sequences, and various issues relating to well-known subjects from computer science. Most of the issues in question are of a computation-theoretic or computer-architectural kind. They relate to subjects such as the halting problem, non-uniform computational complexity, instruction sequence performance and instruction set architecture. Some of the issues considered are somehow related to process algebra, namely remote instruction processing and instruction sequence producible processes. Some variations on instruction sequences of the usual kind, such as instruction sequences without a directional bias and probabilistic instruction sequences, are also considered.NEWLINENEWLINE This book is primarily intended for researchers in computer science interested in instruction sequences as a theme in computer science. It is also meant to be suitable as supplementary reading in courses for graduate students and advanced undergraduate students in computer science.
- Quantitative expressiveness of instruction sequence classes for computation on single bit registers
- A theory of computer instructions
- Instruction sequences with dynamically instantiated instructions
- Thread extraction for polyadic instruction sequences
- Indirect jumps improve instruction sequence performance
- Instruction selection. Principles, methods, and applications
- On the behaviours produced by instruction sequences under execution
- Instruction sequence faults with formal change justification
- The selection of an instruction language
- Instruction sequence processing operators
This page was built for publication: Instruction sequences for computer science.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q441056)
