scientific article; zbMATH DE number 3942997

MaRDI QIDQ3713571zbMATH OpenFDO

Authors

Publication date 1986

zbMATH Keywords

arithmetical completenessarithmetical soundnesscorrectnessHoare-like proof systemnested recursive procedurestermination of programsverification

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Proving total correctness of recursive procedures
• Proof rules for recursive procedures
• scientific article; zbMATH DE number 3900131
• scientific article; zbMATH DE number 1948157
• A Structure-directed Total Correctness Proof Rule for Recursive Procedure Calls

Cited in

(7)

• Proof rules for recursive procedures
• On the operational semantics of nondeterminism and divergence
• Unifying Recursion in Partial, Total and General Correctness
• A Structure-directed Total Correctness Proof Rule for Recursive Procedure Calls
• scientific article; zbMATH DE number 1948157 (Why is no real title available?)
• Two-level semantics and abstract interpretation
• Proving total correctness of recursive procedures

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