Eugene Kirpichov (antilamer) wrote in fprog,
Eugene Kirpichov

Илья Ключников — Суперкомпиляция: идеи и методы (обсуждение)

Суперкомпиляция (supervising compilation) — техника преобразования программ, основанная на построении полной и самодостаточной модели программы.

В статье описываются основные идеи и методы суперкомпиляции на примере работающего суперкомпилятора SC Mini для простейшего чисто функционального языка.

Supercompilation (supervising compilation) is a program transformation technique based upon constructing a self-sufficient model of the program.

The paper describes the main ideas and methods of supercompilation through a series of examples
performed by the simple supercompiler SC Mini.
Tags: #7

  • Post a new comment


    default userpic

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.