scientific article; zbMATH DE number 3860376

MaRDI QIDQ3327706zbMATH OpenFDO

Authors J. A. Bergstra, Anna Chmielinska, Jerzy Tiuryn

Publication date 1982

zbMATH Keywords

completenessexpressivenessHoare's logicpartial correctness assertionsprogramming logicproof systemrecursiveness

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3900148
• Expressiveness and the completeness of Hoare's logic
• Some general incompleteness results for partial correctness logics
• On relative completeness of Hoare logics
• Some questions about expressiveness and relative completeness in Hoare's logic

Cited in

(11)

• Some general incompleteness results for partial correctness logics
• On the completeness of propositional Hoare logic
• Completeness of Hoare logic relative to the standard model
• scientific article; zbMATH DE number 3888900 (Why is no real title available?)
• On relative completeness of Hoare logics
• scientific article; zbMATH DE number 3942998 (Why is no real title available?)
• Effective Axiomatizations of Hoare Logics
• scientific article; zbMATH DE number 1512073 (Why is no real title available?)
• Inadequacy of computable loop invariants
• Two theorems about the completeness of Hoare's logic
• Expressiveness and the completeness of Hoare's logic

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 Q3327706)