Data Structure Choice Formal Differentiation Two Papers on Very High Level Program Optimization - Courant Computer Science Report #15 #224976

I am truly grateful for the help and support of the setl project members and the Computer Science Department at New York University. I would like to take this opportunity to express my gratitude to all the following people who have helped in the development of this thesis: Professor Edmond Schonberg, who strongly influenced my ideas and provided valuable assist ance, particularly in the early stage of my research.