Complexity theory and the operational structure of algebraic programming systems (Q1166916)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Complexity theory and the operational structure of algebraic programming systems |
scientific article |
Statements
Complexity theory and the operational structure of algebraic programming systems (English)
0 references
1982
0 references
algebraic data type
0 references
deterministic and nondeterministic control constructs and assignments
0 references
operational semantics
0 references
classification of programming systems
0 references
space and time resources
0 references
term algebra
0 references
speed of growth of a data type
0 references
growth function
0 references
polynomial time implementable data types
0 references
polynomial space enumerable data types
0 references
deterministic polynomial space bounded computations
0 references
nondeterministic polynomial space bounded computations
0 references
polynomial time bounded computation
0 references