Оптимизирующие трансформации списков и деревьев в системе предикатного программирования

Optimizing transformations for operations on lists and trees in the predicate programming system

Article's language
Russian
Abstract
In the predicate programming compiler, optimizing transformations of the list and tree operations are described. The set of rules for replacement of the original operation to its image in the target imperative language has been developed. The translated imperative program is as effective as if it would be written manually.
DOI
10.31144/si.2307-6410.2017.n9.p63-92
UDK
Pages
63-92
File
105.pdf494.04 KB
Number