Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences (Q5119943)

From MaRDI portal
scientific article; zbMATH DE number 7245233
Language Label Description Also known as
English
Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences
scientific article; zbMATH DE number 7245233

    Statements

    Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences (English)
    0 references
    0 references
    0 references
    0 references
    9 September 2020
    0 references
    hypergeometric sequences
    0 references
    loop invariants
    0 references
    program analysis
    0 references
    recurrence relations
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references