Stacking Cans: Abstracting from Computation