scientific article; zbMATH DE number 3872652

MaRDI QIDQ3339259zbMATH OpenFDO

Authors Werner Damm, Bernhard Josko

Publication date 1984

zbMATH Keywords

higher typesHoare logicprocedure parameters

Mathematics Subject Classification ID

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

Recommendations

• Reasoning about procedures as parameters in the language L4
• scientific article; zbMATH DE number 3858385
• scientific article; zbMATH DE number 3868598
• On relative completeness of Hoare logics
• Effective Axiomatizations of Hoare Logics

Cited in

(4)

• scientific article; zbMATH DE number 3858385 (Why is no real title available?)
• scientific article; zbMATH DE number 3868598 (Why is no real title available?)
• scientific article; zbMATH DE number 4060685 (Why is no real title available?)
• Reasoning about procedures as parameters in the language L4

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