Calculational Derivation of Pointer Algorithms from Tree Operations (1998)

Cached

Download Links

by Michael Butler
Venue:Science of Computer Programming
Citations:9 - 1 self