Data Structure Choice Formal Differentiation Two Papers on Very High Level Program Optimization: Courant Computer Science Report #15 (Classic Reprint)