Automatic amortised analysis of dynamic memory allocation for lazy functional programs (Q5168911)

From MaRDI portal
scientific article; zbMATH DE number 6318884
Language Label Description Also known as
English
Automatic amortised analysis of dynamic memory allocation for lazy functional programs
scientific article; zbMATH DE number 6318884

    Statements

    Automatic amortised analysis of dynamic memory allocation for lazy functional programs (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    21 July 2014
    0 references
    amortisation
    0 references
    lazy evaluation
    0 references
    resource analysis
    0 references
    type systems
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references