A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences

DOI10.7561/SACS.2016.2.125zbMath1424.68033arXiv1408.2955MaRDI QIDQ4621203

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/1408.2955

zbMATH Keywords

completenesssoundnessHoare logicasserted single-pass instruction sequence

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences