Quantitative Interprocedural Analysis (Q2819838)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Quantitative Interprocedural Analysis
scientific article

    Statements

    Quantitative Interprocedural Analysis (English)
    0 references
    0 references
    0 references
    0 references
    29 September 2016
    0 references
    interprocedural analysis
    0 references
    mean-payoff and ratio objectives
    0 references
    memory bloat
    0 references
    quantitative objectives
    0 references
    static profiling
    0 references

    Identifiers