scientific article; zbMATH DE number 3917681

MaRDI QIDQ3692832zbMATH OpenFDO

Authors S. A. Abramov

Publication date 1984

zbMATH Keywords

Dijkstra's formulaspartial functionsweekest preconditions of programs

Mathematics Subject Classification ID

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

Recommendations

• Computing Preconditions and Postconditions of While Loops
• scientific article; zbMATH DE number 3974258
• Weakest Preconditions for High-Level Programs
• scientific article; zbMATH DE number 4047056
• Laws of programming

Cited in

(10)

• On one application of computations with oracle
• Calculating with pointers
• Necessary and Sufficient Preconditions via Eager Abstraction
• Weakest preconditions for pure Prolog programs
• Computing Preconditions and Postconditions of While Loops
• Weakest Preconditions for High-Level Programs
• scientific article; zbMATH DE number 3974258 (Why is no real title available?)
• scientific article; zbMATH DE number 4022610 (Why is no real title available?)
• scientific article; zbMATH DE number 4047056 (Why is no real title available?)
• Efficient weakest preconditions

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