Optimizing transformations in the predicate programming system

Optimizing transformations in the predicate programming system
Article's languageRussian
Author(s)
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.

DOI10.31144/si.2307-6410.2017.n11.p21-48
UDK004.43
Issue # 11,
Pages21-48
File kablukovshelehov2017.pdf (878.05 KB)
Bibliographic reference
Kablukov, I.; Shelekhov, V. Optimizing transformations in the predicate programming system. System Informatics 2017, 11, 21-48. https://doi.org/10.31144/si.2307-6410.2017.n11.p21-48.