scientific article; zbMATH DE number 1531358

MaRDI QIDQ4513575zbMATH OpenFDO

Authors Rudolf Berghammer

Publication date 28 February 2001

zbMATH Keywords

denotational semantics

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Formalizing Dijkstra's predicate transformer wp in weak second-order logic
• Weakest Preconditions for High-Level Programs
• Weakest preconditions for progress
• Weakest preconditions for pure Prolog programs
• scientific article; zbMATH DE number 3974258

Cited in

(7)

• Weakest preconditions for progress
• Weakest relative precondition semantics. Balancing approved theory and realistic translation verification
• Weakest preconditions for pure Prolog programs
• Computing Preconditions and Postconditions of While Loops
• Some Variants of the Weakest Precondition in Nondeterminism
• The Weakest Libera! Preconditions of Nondeterministic Machines and Robust Programs
• 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 Q4513575)