Execution architectures for program algebra (Q881834)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Execution architectures for program algebra |
scientific article |
Statements
Execution architectures for program algebra (English)
0 references
18 May 2007
0 references
halting problem
0 references
execution of programs
0 references
program algebra
0 references
Turing machine
0 references
0 references
