scientific article; zbMATH DE number 3688675

MaRDI QIDQ3883458zbMATH OpenFDO

Authors

Publication date 1980

Full work available at URL https://eudml.org/doc/92127

zbMATH Keywords

algebraic semanticHoare rulesprogram schemesproof system for partial correctness of programs

Mathematics Subject Classification ID

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

Cites work

• A New Incompleteness Result for Hoare's System
• An algebraic definition for control structures
• An axiomatic basis for computer programming
• Consistent and complementary formal theories of the semantics of programming languages
• First-order dynamic logic
• Guarded commands, nondeterminacy and formal derivation of programs
• scientific article; zbMATH DE number 3705883 (Why is no real title available?)
• scientific article; zbMATH DE number 3483535 (Why is no real title available?)
• scientific article; zbMATH DE number 3558938 (Why is no real title available?)
• scientific article; zbMATH DE number 3597848 (Why is no real title available?)
• scientific article; zbMATH DE number 3607998 (Why is no real title available?)
• scientific article; zbMATH DE number 3609100 (Why is no real title available?)
• scientific article; zbMATH DE number 3628350 (Why is no real title available?)
• scientific article; zbMATH DE number 3438819 (Why is no real title available?)
• Model theory.
• Program proving: KJumps and functions
• Soundness and Completeness of an Axiom System for Program Verification
• Tree acceptors and some of their applications

Cited in

(2)

• Étude et implémentation d'un système de déduction pour logique algorithmique
• scientific article; zbMATH DE number 3797730 (Why is no real title available?)

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