scientific article; zbMATH DE number 3688676

zbMATH Open0441.68008MaRDI QIDQ3883459FDOQ3883459

Authors: Hans Langmaack, Ernst-Rüdiger Olderog 

Publication date: 1980

Title of this publication is not available (Why is that?)

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

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)