Abstract: Highlights•★piler is a compilation infrastructure to develop source-to-source transpilers.•It uses small transpilation units (δ) that are composed to get full transpilations.•A* with an heuristic induced by the δ application is used to get timely translations.
Loading