zbMATH — the first resource for mathematics

Program transformation involving unfree data structures. An extended example. (English) Zbl 0405.68017
Program transformations, Proc. 3rd int. Symp. Program., Paris 1978, 203-217 (1978).

68P05 Data structures
68Q60 Specification and verification (program logics, model checking, etc.)
68M20 Performance evaluation, queueing, and scheduling in the context of computer systems