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

Optimizing transformations in the predicate programming system

Article's language
Russian
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.
DOI
10.31144/si.2307-6410.2017.n11.p21-48
UDK
Pages
21-48
File
Number