Instruction Sequences for Computer Science

• Main Authors: Bergstra, Jan A. (Author), Middelburg, Cornelis A. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Paris : Atlantis Press : Imprint: Atlantis Press, 2012.
• Series: Atlantis Studies in Computing, 2
• Subjects: Computer science.; Computer organization.; Programming languages (Electronic computers).; Computers.; Computer logic.; Mathematical logic.; Computer Science.; Computation by Abstract Devices.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Programming Languages, Compilers, Interpreters.; Computer Systems Organization and Communication Networks.

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 inves...