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
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
0 references
0 references
0 references
