Paper Info
Title
Axioms For Behavioural Congruence Of Single-Pass Instruction Sequences
Abstract
In program algebra, an algebraic theory of single-pass instruction sequences, three congruences on instruction sequences are paid attention to: instruction sequence congruence, structural congruence, and behavioural congruence. Sound and complete axiom systems for the first two congruences were already given in early papers on program algebra. The current paper is the first one that is concerned with an axiom system for the third congruence. The presented axiom system is especially notable for its axioms that have to do with forward jump instructions.
Year
DOI
Venue
2017
10.7561/SACS.2017.2.111
SCIENTIFIC ANNALS OF COMPUTER SCIENCE
Keywords
DocType
Volume
program algebra, instruction sequence congruence, structural congruence, behavioural congruence, axiom system
Journal
27
Issue
ISSN
Citations 
2
1843-8121
0
PageRank 
References 
Authors
0.34
5
2
Name
Order
Citations
PageRank
Jan A. Bergstra11946240.42
Cornelis A. Middelburg248749.21