Weakest preconditions for pure Prolog programs (Q293340)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Weakest preconditions for pure Prolog programs
scientific article

    Statements

    Weakest preconditions for pure Prolog programs (English)
    0 references
    0 references
    0 references
    9 June 2016
    0 references
    logic programming
    0 references
    Prolog
    0 references
    Hoare logic
    0 references
    weakest preconditions
    0 references
    weakest liberal preconditions
    0 references
    program correctness
    0 references

    Identifiers