M.F. Cowlishaw
IBM Systems Journal
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. © 1975.
M.F. Cowlishaw
IBM Systems Journal
G. Ramalingam
Theoretical Computer Science
Kaoutar El Maghraoui, Gokul Kandiraju, et al.
WOSP/SIPEW 2010
Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014