Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014
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.
Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014
Thomas M. Cheng
IT Professional
Kaoutar El Maghraoui, Gokul Kandiraju, et al.
WOSP/SIPEW 2010
Michael D. Moffitt
ICCAD 2009