Towards automatic resource bound analysis for OCaml (Q5370874)

From MaRDI portal
scientific article; zbMATH DE number 6794664
Language Label Description Also known as
English
Towards automatic resource bound analysis for OCaml
scientific article; zbMATH DE number 6794664

    Statements

    Towards automatic resource bound analysis for OCaml (English)
    0 references
    0 references
    0 references
    0 references
    20 October 2017
    0 references
    amortized analysis
    0 references
    LP-solving
    0 references
    resource-bound analysis
    0 references
    static analysis
    0 references
    type inference
    0 references
    type systems
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

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