Another incompleteness result for Hoare's logic

DOI10.1016/S0019-9958(82)80027-2zbMath0504.68018OpenAlexW2067168912MaRDI QIDQ4741694

Anna Chmielinska, Jerzy Tiuryn, Jan A. Bergstra

Publication date: 1982

Published in: Information and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0019-9958(82)80027-2

zbMATH Keywords

Hoare logicpartial correctnessrecursivenessincompleteness theorem

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (2)

Some general incompleteness results for partial correctness logics ⋮ Hoare's logic for programming languages with two data types

This page was built for publication: Another incompleteness result for Hoare's logic