Contents
Programming and Computer Software

Vol. 28, No. 6, 2002

Simultaneous English language translation of the journal is available from MAIK “Nauka / Interperiodica” (Russia).
Distributed worldwide by Kluwer Academic/Plenum Publishers. Programming and Computer Software ISSN 0361-7688.

Equivalent Transformations in the Model of Programs
with Commuting and Monotone Operators

R. I. Podlovchenko p. 301  abstract

Towards Verification of C Programs. C-Light Language and Its Formal Semantics

V. A. Nepomniaschy, I. S. Anureev, I. N. Mikhailov, and A. V. Promskii p. 314  abstract

Evolutionary Model of Optimization of Modular Associative Memory
for Dataflow Machines Based on Genetic Algorithm

A. V. Nikitin and L. I. Nikitina p. 324  abstract

Refined Description of the C[] Language

A. Ya. Kalinov, A. L. Lastovetsky, I. N. Ledovskih, and M. A. Posypkin p. 333  abstract

A Method of Cumulative Sums in the Problem of Detection
of Traffic Changes in Computer Networks

V. V. Mazalov and D. N. Zhuravlev p. 342  abstract

A Software Implementation Technique for Simulation of Ethernet Local Area Networks

A. P. Shibanov p. 349  abstract

Tenth Anniversary of ACM SIGMOD Moscow Chapter

L. A. Kalinichenko, M. R. Kogalovsky, and S. D. Kuznetsov p. 356  abstract

Author Index to Volume 28, 2002 p. 360

Pleiades Publishing home page | journal home page | top

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