Towards a dereversibilizer: fewer asserts, statically (Q6148113)

From MaRDI portal
scientific article; zbMATH DE number 7786598
Language Label Description Also known as
English
Towards a dereversibilizer: fewer asserts, statically
scientific article; zbMATH DE number 7786598

    Statements

    Towards a dereversibilizer: fewer asserts, statically (English)
    0 references
    0 references
    0 references
    0 references
    11 January 2024
    0 references
    0 references
    0 references
    0 references
    0 references
    reversible languages
    0 references
    program transformation
    0 references
    satisfiability-modulo-theories (SMT) solver
    0 references
    static analysis
    0 references
    compilation
    0 references