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...