Programmtransformationen

    Seminarthemen

    (mit Einstiegs-Literatur)

  • Transformationen im GHC
    • A Short Cut to Deforestation
    • Compiling Haskell by program transformation: a report from the trenches
    • Let-floating: moving bindings to give faster programs
  • Deforestation
    • A Short Cut to Deforestation
    • Cheap Deforestation for Non-strict Functional Languages
    • Higher Order Deforestation
    • Deforestation for Higher-Order Functional Programs
  • Fusion
    • A Fold for All Seasons
    • Fusion for Free!
    • A Calculational Fusion System HYLO
    • An Extension of the Acid Rain Theorem
    • Deriving Structural Hylomorphisms from Recursive Definitions
  • HYLO
    • Tupling Calculation Eliminates Multiple Data Traversals
    • A Calculational Fusion System HYLO
    • An Extension of the Acid Rain Theorem
  • Synchronization/Tupling
    • Tupling Calculation Eliminates Multiple Data Traversals
  • Nondeterminism
    • Unfolding of Programs with Nondeterminism
    • Computing in Unpredictable Environments: Semantics, Reduction Strategies and Program Transformations
  • Supercompilation/Metasystem Transition
    • A roadmap to metacomputation by supercompilation
    • Metacomputation: Metasystem Transition and Supercompilation