Automatically proving equivalence by type-safe reflection (Q2364699)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Automatically proving equivalence by type-safe reflection
scientific article

    Statements

    Automatically proving equivalence by type-safe reflection (English)
    0 references
    0 references
    0 references
    21 July 2017
    0 references
    proof automation
    0 references
    equivalence
    0 references
    equality
    0 references
    proof by reflection
    0 references
    correct-by-construction software
    0 references
    type-driven development
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers