English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

While many mainstream languages such as Java, Python, and C# increasinglyincorporate functional APIs to simplify programming and improveparallelization/performance, there are no effective techniques that can be usedto automatically translate existing imperative code to functional variantsusing these APIs. Motivated by this problem, this paper presents atranspilation approach based on inductive program synthesis for modernizingexisting code. Our method is based on the observation that the overwhelmingmajority of source/target programs in this setting satisfy an assumption thatwe call trace-compatibility: not only do the programs share syntacticallyidentical low-level expressions, but these expressions also take the samevalues in corresponding execution traces. Our method leverages this observationto design a new neural-guided synthesis algorithm that (1) uses a novel neuralarchitecture called cognate grammar network (CGN) and (2) leverages a form ofconcolic execution to prune partial programs based on intermediate values thatarise during a computation. We have implemented our approach in a tool calledNGST2 and use it to translate imperative Java and Python code to functionalvariants that use the Stream and functools APIs respectively. Our experimentsshow that NGST2 significantly outperforms several baselines and that ourproposed neural architecture and pruning techniques are vital for achievinggood results.

Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version)