scientific article; zbMATH DE number 4047056

MaRDI QIDQ3783513zbMATH OpenFDO

Authors

Publication date 1987

zbMATH Keywords

compiler correctnessfixed pointgoto statementspostconditionweakest precondition

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Computing Preconditions and Postconditions of While Loops
• Weakest Preconditions for High-Level Programs
• scientific article; zbMATH DE number 3917681
• scientific article; zbMATH DE number 3974258
• Weakest preconditions for pure Prolog programs

Cited in

(6)

• Weakest pre-condition reasoning for Java programs with JML annotations
• Weakest preconditioned goto axiom
• Weakest relative precondition semantics. Balancing approved theory and realistic translation verification
• Weakest Preconditions for High-Level Programs
• scientific article; zbMATH DE number 3917681 (Why is no real title available?)
• scientific article; zbMATH DE number 1927431 (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 Q3783513)