Contents
Programming and Computer Software

Vol. 41, No. 4, 2015

A simultaneous English language translation of this journal is available from Pleiades Publishing, Ltd.
Distributed worldwide by Springer. Programming and Computer Software ISSN 0361-7688.

High-Level Memory Model with Low-Level Pointer Cast Support
for Jessie Intermediate Language

M. U. Mandrykin and A. V. Khoroshilov p. 197  abstract

View to View Transformations in Domain Specific Modeling

D. V. Koznov, E. V. Larchik, and A. N. Terekhov p. 208  abstract

Secure Cloud Computing Based
on Threshold Homomorphic Encryption

N. P. Varnovskiy, S. A. Martishin, M. V. Khrapchenko, and A. V. Shokurov p. 215  abstract

Automated Construction of Software Configuration Tables
for Real-Time Systems in Avionics

S. B. Utkin, S. V. Batova, S. A. Blagonravov,
P. V. Konovalov, and I. O. Zharinov p. 219  abstract

Associated Types and Constraint Propagation
for Generic Programming in Scala

A. Pelenitsyn p. 224  abstract

Application of Compiler Transformations
against Software Vulnerabilities Exploitation

A. R. Nurmukhametov, Sh. F. Kurmangaleev,
V. V. Kaushan, and S. S. Gaissaryan p. 231  abstract

Interprocedural Taint Analysis for LLVM-bitcode

V. K. Koshelev, A. O. Izbyshev, and I. A. Dudina p.237  abstract

Pleiades Publishing home page | journal home page | top

If you have any problems with this server, contact webmaster.