Institutul de Matematică şi Informatică "Vladimir Andrunachievici"
Universitatea de Stat din MoldovaRO EN
A Short Introduction to Program Algebra with Instructions for Boolean Registers
Authors: Jan A. Bergstra, Cornelis A. Middelburg
Keywords: program algebra, thread algebra, thread-service interaction, Boolean register.
– 0.23 Mb
Keywords: program algebra, thread algebra, thread-service interaction, Boolean register.
Abstract
A parameterized algebraic theory of instruction sequences, objects that represent the behaviours produced by instruction sequences under execution, and objects that represent the behaviours exhibited by the components of the execution environment of instruction sequences is the basis of a line of research in which issues relating to a wide variety of subjects from computer science have been rigorously investigated thinking in terms of instruction sequences. In various papers that belong to this line of research, use is made of an instantiation of this theory in which the basic instructions are instructions to read out and alter the content of Boolean registers and the components of the execution environment are Boolean registers. In this paper, we give a simplified presentation of the most general such instantiated theory.Informatics Institute, Faculty of Science, University of Amsterdam
Science Park 904, 1098 XH Amsterdam, the Netherlands
E-mail: ,
Science Park 904, 1098 XH Amsterdam, the Netherlands
E-mail: ,
Fulltext
– 0.23 Mb
Contents
- A Short Introduction to Program Algebra with Instructions for Boolean Registers
- Imbrication algebras - algebraic structures of nesting order
- Closeness centrality in some splitting networks
- New Bounds for the Harmonic Energy and Harmonic Estrada index of Graphs
- Post-quantum signature algorithms based on the hidden discrete logarithm problem
- About Workshop in the framework of NIMSPPS project
