The complexity space of partial functions: a connection between complexity analysis and denotational semantics (Q3008383)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The complexity space of partial functions: a connection between complexity analysis and denotational semantics
scientific article

    Statements

    The complexity space of partial functions: a connection between complexity analysis and denotational semantics (English)
    0 references
    0 references
    0 references
    0 references
    15 June 2011
    0 references
    ordered cone
    0 references
    extended quasi-metric
    0 references
    complexity space
    0 references
    fixed point
    0 references
    recursive specification
    0 references
    factorial function
    0 references
    denotational semantics
    0 references
    complexity analysis
    0 references
    Quicksort
    0 references

    Identifiers

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