High Level Programming Model, Compilation & Verification

WP3 will develop the front end for the PRO3D’s compilation chain. This front end takes as input the application software described in a programming model and generates and intermediate format based on BIP. The latter is enriched by partitioning information provided by 3D-DOL. From this a distributed intermediate format is generated by successive correct-by construction transformations. The back end of the compilation chain (WP4) uses this format to generate the implementation.