Proceedings of ISP RAS


A.I. Avetisyan (ISP RAS, Moscow, Russia)


This issue of the Proceedings of ISP RAS presents papers on one of the most developed areas of research and development in the ISP RAS – technologies for analysis, modeling and transformation of programs. All these articles are prepared on the basis of reports submitted at the Open Conference of ISPRAS in 2016.


Proceedings of the Institute for System Programming, vol. 28, issue 5, 2016, pp. 9-10.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2016-28(5)-0

Full text of the paper in pdf Back to the contents of the volume