Реализация оптимизирующих трансформаций в системе предикатного программирования

Optimizing transformations in the predicate programming system

Article's language
Russian
Author(s)
Ivan Vladimirovich Kablukov
Vladimir Ivanovich Shelekhov
Abstract
The following optimizing transformations: variable gluing, replacement of the tail recursion by a loop, in-line substitution, reduction - are described. Effective imperative program is the result of transformation application. Dataflow analysis of a program is applied to perform transformations.
Keywords
Functional programming
program transformation
dataflow analysis
tail recursion
in-line substitution
DOI
10.31144/si.2307-6410.2017.n11.p21-48
UDK
004.43
Pages
21-48
File
KablukovShelehov2017.pdf878.05 KB
Number
# 11, 2017