Journal: Programming and Computer Software

Volume 28, Issue 6

301 -- 313Rimma I. Podlovchenko. Equivalent Transformations in the Model of Programs with Commuting and Monotone Operators
314 -- 323V. A. Nepomniaschy, Igor S. Anureev, I. N. Mikhailov, Alexey V. Promsky. Towards Verification of C Programs. C-Light Language and Its Formal Semantics
324 -- 332A. V. Nikitin, L. I. Nikitina. Evolutionary Model of Optimization of Modular Associative Memory for Dataflow Machines Based on Genetic Algorithm
333 -- 341Alexey Kalinov, Alexey L. Lastovetsky, Ilya Ledovskih, Mikhail Posypkin. Refined Description of the C[] Language
342 -- 348Vladimir V. Mazalov, D. N. Zhuravlev. A Method of Cumulative Sums in the Problem of Detection of Traffic Changes in Computer Networks
349 -- 355A. P. Shibanov. A Software Implementation Technique for Simulation of Ethernet Local Area Networks
356 -- 359Leonid A. Kalinichenko, Mikhail R. Kogalovsky, Sergei D. Kuznetsov. Tenth Anniversary of ACM SIGMOD Moscow Chapter