Data Structure Choice Formal Differentiation Two Papers on Very High Level Program Optimization

Whilst the greatest effort has been made to ensure the quality of this text, due to the historical nature of this content, in some rare cases there may be minor issues with legibility. 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.