Flowchart schemata with counters
STOC '72 Proceedings of the fourth annual ACM symposium on Theory of computing
STOC '72 Proceedings of the fourth annual ACM symposium on Theory of computing
Record of the Project MAC conference on concurrent systems and parallel computation
Translating recursion equations into flow charts
Journal of Computer and System Sciences
On formalised computer programs
Journal of Computer and System Sciences
Program schemes, recursion schemes, and formal languages
Journal of Computer and System Sciences
Recent developments in the theory of data structures
Computer Languages
Hi-index | 0.00 |
We consider the power of several programming features such as counters, pushdown stacks, queues, arrays, recursion and equality. In this study program schemas are used as the model for computation. The relations between the powers of these features is completely described by a comparison diagram.