Deaccumulation techniques for improving provability (Q882487)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Deaccumulation techniques for improving provability
scientific article

    Statements

    Deaccumulation techniques for improving provability (English)
    0 references
    0 references
    0 references
    0 references
    23 May 2007
    0 references
    tree transducers
    0 references
    induction theorem proving
    0 references
    tail recursion
    0 references
    program transformation
    0 references
    program verification
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers