Computable stack functions for semantics of stack programs (Q1137385)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Computable stack functions for semantics of stack programs |
scientific article |
Statements
Computable stack functions for semantics of stack programs (English)
0 references
1979
0 references
programs
0 references
stack machines
0 references
algebraic characterization of computable functions
0 references
repetition operators
0 references
partial recursive functions
0 references
Church's thesis
0 references
0 references
0 references