Abstract:
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.