External Links

    Journal: Programming and Computer Software

    Volume 40, Issue 3

    107 -- 116Rimma I. Podlovchenko. Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models
    117 -- 127Alexander Zhozhikashvili. Monads for the formalization of a pattern matching procedure
    128 -- 138A. Yu. Drozdov, S. V. Novikov, V. E. Vladislavlev, E. L. Kochetkov, P. V. Il'in. Program auto parallelizer and vectorizer implemented on the basis of the universal translation library and LLVM technology
    139 -- 142Dzmitry A. Budzko, S. A. Shcherba. Symbolic and numerical analysis of the restricted five body problem using computer algebra
    143 -- 150Sergey A. Gutnik, Vasily A. Sarychev. Symbolic-numerical methods of studying equilibrium positions of a gyrostat satellite
    151 -- 157Ekaterina Shemyakova. Darboux transformations for factorable Laplace operators
    runs on