Data Compilation: Its Design and Analysis

Abstract : The aim of this research is to study the idea compilation and its impact on the development of concise, efficient, verifiable code. This entails developing, formalizing, analyzing, and extending a data compilation methodology based on work proposed. One goal of our study is to delineate the scope of applicability of data compilation techniques. Our purpose is similar to that of researchers studying functional transformations and partial computation. Regarding data compilation, the greatest success of this work has been the appreciation of the ideas; a variety of problems using extend-syntax in Scheme. The solutions we have obtained are concise, are of optimal complexity, and yet are relatively free of data structure considerations including boundedness and sparsity. The potential for solving a wider variety of problems in this style by adding features to Scheme has been shown to be great. We have proposed some new features and modifications to existing features which will be needed to manage data compilation more efficiently.