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

Program transformations in terms of abstract syntax trees compromisereferential integrity by introducing variable capture. Variable capture occurswhen in the generated program a variable declaration accidentally shadows theintended target of a variable reference. Existing transformation systems eitherdo not guarantee the avoidance of variable capture or impair the implementationof transformations.  We present an algorithm called name-fix that automatically eliminatesvariable capture from a generated program by systematically renaming variables.name-fix is guided by a graph representation of the binding structure of aprogram, and requires name-resolution algorithms for the source language andthe target language of a transformation. name-fix is generic and works forarbitrary transformations in any transformation system that supports origintracking for names. We verify the correctness of name-fix and identify aninteresting class of transformations for which name-fix provides hygiene. Wedemonstrate the applicability of name-fix for implementing capture-avoidingsubstitution, inlining, lambda lifting, and compilers for two domain-specificlanguages.

Capture-Avoiding and Hygienic Program Transformations (incl. Proofs)