Axioms for Behavioural Congruence of Single-Pass Instruction Sequences

DOI10.7561/SACS.2017.2.111zbMath1424.68027arXiv1702.03511MaRDI QIDQ4621212

Jan A. Bergstra, C. A. Middelburg

Publication date: 8 February 2019

Published in: Scientific Annals of Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1702.03511

zbMATH Keywords

axiom systemprogram algebrastructural congruencebehavioural congruenceinstruction sequence congruence

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

On the complexity of the correctness problem for non-zeroness test instruction sequences

This page was built for publication: Axioms for Behavioural Congruence of Single-Pass Instruction Sequences