scientific article; zbMATH DE number 3868598

MaRDI QIDQ3334976zbMATH OpenFDO

Authors Bernhard Josko

Publication date 1984

zbMATH Keywords

computable functions of higher typeseffectively given domainsexpressive interpretationsHoare calculusmodified assertion languageprograms with non-regular execution treesproof systemsublanguages of an Algol-like language

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 3872652
• Reasoning about procedures as parameters in the language L4
• Effective Axiomatizations of Hoare Logics
• scientific article; zbMATH DE number 3900131
• scientific article; zbMATH DE number 3858385

Cited in

(7)

• Completeness and expressiveness of pointer program verification by separation logic
• Completeness for recursive procedures in separation logic
• scientific article; zbMATH DE number 3858385 (Why is no real title available?)
• scientific article; zbMATH DE number 3872652 (Why is no real title available?)
• scientific article; zbMATH DE number 3874578 (Why is no real title available?)
• The expressive theory of stacks
• 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 Q3334976)