Assessing the Success and Impact of Hoare’s Logic

DOI10.1145/3477355.3477359OpenAlexW3202969346MaRDI QIDQ5029444

Krzysztof R. Apt, Ernst-Ruediger Olderog

Publication date: 14 February 2022

Published in: Theories of Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3477355.3477359

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Logic for reasoning about bugs in loops over data sequences (IFIL)

This page was built for publication: Assessing the Success and Impact of Hoare’s Logic