Case studies for the derivation of pointer algorithms

The method presented in Calculating with pointer structures by Bernhard Möller to derive pointer algorithms has been shown well-applicable and easy-to-use in several various examples. We present the derivation of different pointer algorithms on lists from their functional specification. The intention of this paper is to show the advantages of the method on a number of medium-sized examples on the one hand. On the other hand we point out also problems and tasks to be solved to achieve a complete framework for the derivation of pointer algorithms working on inductively defined data structures