## Full abstraction for expressiveness: history, myths and facts

- Daniele Gorla, Uwe Nestmann
- Mathematical Structures in Computer Science
- 2016

-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. Counters, Pushdown stacks, Queues, Arrays, Recursion… (More)