This is to announce the publication of a paper concerning instruction sequences. The paper entitled “Axioms for behavioural congruence of singlepass instruction sequences” (doi: 10.7561/SACS.2017.2.111) has now been published. This paper introduces a sound axiom system for behavioural congruence of singlepass instruction sequences that is complete for finite instruction sequences. This means that behavioural congruence of finite instruction sequences can now be established in a direct way by pure equational reasoning. In the past, it had to be established in an indirect way by reasoning that was not pure equational. The axiom system is especially notable for its axioms that have to do with forward jump instructions

Recent Posts
Categories
 Announcement of Publication (13)
 Uncategorized (1)
Tags
 algorithm efficiency
 algorithmic equivalence
 asserted program
 asserted singlepass instruction sequence
 auxiliary datum
 axiom system
 backward jump instruction
 basic thread algebra
 behavioural congruence
 bit string function
 Boolean function family
 Boolean register
 completeness
 completeness in the sense of Cook
 computational complexity
 crossover point
 forward jump instruction
 halting problem
 highlevel programming language
 Hoare logic
 instruction sequence
 instruction sequence congruence
 instruction sequence size
 instruction set
 jump instruction
 Karatsuba multiplication
 long multiplication
 lowlevel programming language
 meadow
 multiplication algorithm
 nonuniform complexity measure
 parity function
 partial correctness
 probabilistic computation
 probabilistic scheduling policy
 program
 program algebra
 program parallelization
 program size
 secure hash algorithm
 secure hash function
 SHA256
 singlepass instruction sequence
 sizebounded functional completeness
 soundness
 structural congruence
 thread
 thread algebra
 virus detection
Archives
 December 2017 (2)
 November 2017 (3)
 June 2017 (1)
 February 2017 (1)
 January 2017 (1)
 October 2016 (1)
 July 2016 (2)
 June 2016 (2)
 January 2016 (1)
Links
Advertisements