scientific article
From MaRDI portal
Publication:3883459
zbMath0441.68008MaRDI QIDQ3883459
Hans Langmaack, Ernst-Ruediger Olderog
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
relative completenessHoare logicpartial correctnessself-applicationcopy rulesdivergence problemALGOL-like programsHoare-like systemsstatic and dynamic scope
Related Items (7)
Verification of object-oriented programs: a transformational approach ⋮ On termination problems for finitely interpreted ALGOL-like programs ⋮ Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs ⋮ Fifty years of Hoare's logic ⋮ Wythoff games, continued fractions, cedar trees and Fibonacci searches ⋮ Correctness of programs with Pascal-like procedures without global variables ⋮ Expressiveness and the completeness of Hoare's logic
Uses Software
This page was built for publication:
