Volume 35, Number 1, January 2009
Igor S. Anureev
: Operational ontological approach to formal programming language specification.
Volume 35, Number 2, March 2009
: On mathematica program for "Poor Man's Integrator" implementing Risch-Norman algorithm.
A. V. Purgin
: Distributive lattices of right divisors of linear ordinary differential operators.
Volume 35, Number 3, May 2009
G. G. Hrachyan
: On basic semantics of untyped functional programs.
S. G. Groshev
: Bug localization by constructing reduced traces.
Volume 35, Number 4, July 2009
S. D. Makhortov
: LP structures on type lattices and some refactoring problems.
S. M. Achasova
: Program constructor of cellular self-reproducing structures.
P. P. Oleynik
: Implementation of the hierarchy of atomic literal types in an object system based of RDBMS.
Volume 35, Number 5, September 2009
Volume 35, Number 6, November 2009
V. S. Mutilin
: Multithreaded testing of program interfaces.
A. Yu. Drozdov
, S. V. Novikov
: A program auto-parallelizer based on the component technology of optimizing compiler construction.
A. V. Bosov
: Modeling and optimization of functioning of the information web portal.