scientific article; zbMATH DE number 90777

MaRDI QIDQ4018961zbMATH OpenFDO

Authors Norbert E. Fuchs

Publication date 16 January 1993

zbMATH Keywords

constructive logiccoroutiningexecutable specificationsHoare logiclogic specificationsprologstructural

Mathematics Subject Classification ID

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

Recommendations

• Two theorems about the completeness of Hoare's logic
• Verification conditions are code
• The relation between logic programming and logic specification
• scientific article; zbMATH DE number 3900131
• scientific article; zbMATH DE number 2110620

Cited in

(6)

• Derivation of logic programs by functional methods
• The relation between logic programming and logic specification
• The relationship between logic programs and specifications-the subset example revisited
• scientific article; zbMATH DE number 2154396 (Why is no real title available?)
• scientific article; zbMATH DE number 2110621 (Why is no real title available?)
• Verification conditions are code

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