scientific article; zbMATH DE number 3688676

MaRDI QIDQ3883459zbMATH OpenFDO

Authors Hans Langmaack, Ernst-Rüdiger Olderog

Publication date 1980

zbMATH Keywords

Hoare logicpartial correctnessrelative completenessself-applicationcopy rulesdivergence problemALGOL-like programsHoare-like systemsstatic and dynamic scope

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(7)

• Fifty years of Hoare's logic
• Expressiveness and the completeness of Hoare's logic
• Verification of object-oriented programs: a transformational approach
• Correctness of programs with Pascal-like procedures without global variables
• 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
• Wythoff games, continued fractions, cedar trees and Fibonacci searches

Describes a project that uses

Uses Software

• ALGOL 60

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3883459)