- Instruction sequence processing operators
- Number of pages
- Ithaca, NY: arXiv.org
- Document type
- Faculty of Science (FNWI)
- Informatics Institute (IVI)
This paper concerns instruction sequences whose execution involves the processing of instructions by an execution environment that offers a family of services and may yield a Boolean value at termination. We introduce a composition operator for families of services and three operators that have a direct bearing on the processing in question. Together they are simpler and more powerful than the operators proposed for the same purpose in earlier work. Some of the operators allow for terms to be built that are not intended to denote anything. We propose to comply with conventions that exclude the use of such terms.
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.