scientific article; zbMATH DE number 3872652

zbMATH Open0547.68017MaRDI QIDQ3339259FDOQ3339259

Authors: Werner Damm, Bernhard Josko 

Publication date: 1984

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

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

zbMATH Keywords

Hoare logichigher typesprocedure parameters

Mathematics Subject Classification ID

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

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Reasoning about procedures as parameters in the language L4
• Title not available (Why is that?)

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)