Proceedings of the Institute for System Programming. Volume 25, 2013, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
Edited by Academician V.P. Ivannikov
Table of Contents
V.P. Ivannikov. Introduction. pp. 5-8.
Sergey Vartanov, Alexander Gerasimov. Applying dynamic analysis for defect detection in Java-applications. pp. 9-28.
M.K. Ermakov, A.Y. Gerasimov. Avalanche: adaptation of parallel and distributed computing for dynamic analysis to improve performance of defect detection. pp. 29-38.
N.G. Zetser. Automatic clone detection for refactoring. pp. 39-50.
N.L. Lugovskoy, S.V. Syromyatnikov. Source code transformation and automatic correction of defects with KAST language. pp. 51-66.
I.E. Bronshteyn. Approach to detecting types inconsistency errors in a program code in dynamic languages. Стр. 67-84.
I.S. Zakharov, V.S. Mutilin, E.M. Novikov, A.V. Khoroshilov. Environment Modeling of Linux Operating System Device Drivers. pp. 85-112.
S.D. Kuznetsov, N.A. Mendkovich. Minimization of data base query's conditions: evoluation of efficiency. pp. 113-130.
Zolotov V.A., Semenov V.A. On application of spatial decomposition method for large data sets indexing. pp. 131-166.
D.G. Fedorenko, N.A. Astrakhantsev. Automatic Extraction of New Concepts from Domain-Specific Terms. pp. 167-178.
Anton Korshunov, Ivan Beloborodov, Andrey Gomzin, Christina Chuprina, Nikita Astrakhantsev, Yaroslav Nedumod, Denis Turdakov. Detection of demographic attributes of microblog users. pp. 179-194.
Alexander Shokurov. On Solving The Systems of Algebraic Equations Using Gröbner Bases. pp. 195-206.
Alexey Voevodin, Semen Kosyachenko. Optimal Ordering of Conflicting Objects and the Traveling Salesman Problem. pp. 207-224.