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
- PDF / 2,101,208 Bytes
- 241 Pages / 439.37 x 666.142 pts Page_size
- 49 Downloads / 234 Views
Atlantis Studies in Computing Series Editors:
Jan A. Bergstra
Michael W. Mislove
Informatics Institute
Department of Mathematics
University of Amsterdam
Tulane University
Amsterdam, The Netherlands
New Orleans, USA (ISSN: 2212-8565)
Aims and scope of the series The series aims at publishing books in the areas of computer science, computer and network technology, IT management, information technology and informatics from the technological, managerial, theoretical/fundamental, social or historical perspective. We welcome books in the following categories: Technical monographs: these will be reviewed as to timeliness, usefulness, relevance, completeness and clarity of presentation. Textbooks. Books of a more speculative nature: these will be reviewed as to relevance and clarity of presentation. For more information on this series and our other book series, please visit our website at: www.atlantis-press.com/publications/books
A MSTERDAM – PARIS – B EIJING c ATLANTIS PRESS
Instruction Sequences for Computer Science Jan A. Bergstra and Cornelis A. Middelburg Institute of Informatics, Faculty of Science, University of Amsterdam Amsterdam, the Netherlands
A MSTERDAM – PARIS – B EIJING
Atlantis Press 8, square des Bouleaux 75019 Paris, France For information on all Atlantis Press publications, visit our website at: www.atlantis-press.com Copyright This book, or any parts thereof, may not be reproduced for commercial purposes in any form or by any means, electronic or mechanical, including photocopying, recording or any information storage and retrieval system known or to be invented, without prior permission from the Publisher.
Atlantis Studies in Computing Volume 1: Code Generation with Templates - B.J. Arnoldus, M.G.J. Van den Brand, A. Serebrenik
ISBNs Print: E-Book: ISSN:
978-94-91216-64-0 978-94-91216-65-7 2212-8565
c 2012 ATLANTIS PRESS
Preface
The concept of an instruction sequence is a key concept in practice, but strangely enough it has as yet not come prominently into the picture in theoretical circles. In much work on computer architecture, instruction sequences are under discussion. In spite of this, the notion of an instruction sequence has never been subjected to systematic and precise analysis. Moreover, in work on computer architecture, the viewpoint is usually taken that a program is in essence an instruction sequence. By contrast, in the theory of computation, different viewpoints on what is a program are usually taken. This state of affairs brought us to define a general notion of an instruction sequence, to subject it to a systematic and precise analysis, and to provide evidence for the hypothesis that the notion of an instruction sequence is relevant to diverse subjects from the theory of computation and the area of computer architecture. Many results of the work in question are brought together in this book with the aim to bring instruction sequences as a theme in computer science better into the picture. To put it otherwise, this book concerns instruction sequences, the beh
Data Loading...
