Построение срезов для программ на динамических языках
17
[4] Richards G., Lebresne S., Burg B., Vitek J. An Analysis of the Dynamic Be-
havior of JavaScript Programs.
Proceedings of the 2010 ACM SIGPLAN con-
ference on Programming language design and implementation
, 2010, pp. 1–12.
[5] Holkner A., Harland J. Evaluating the dynamic behaviour of Python applica-
tions.
Proceedings of the Thirty-Second Australasian Conference on Computer
Science
, vol. 91, pp. 19–28.
[6] Ferrante J., Ottenstein K. J., Warren J. D. The program dependence graph and
its use in optimization.
ACM Transactions on Programming Languages and
Systems (TOPLAS)
, 1987, vol. 9, no. 3, pp. 319–349.
[7] Agrawal H., Horgan J.R. Dynamic program slicing.
Proceedings of the ACM
SIGPLAN 1990 conference on Programming language design and implementa-
tion
, pp. 246–256.
[8] Horwitz S., Reps T., Binkley D. Interprocedural slicing using dependence
graphs.
Proceedings of the SIGPLAN '88 conference on Programming lan-
guage design and implementation
, 1990, pp. 35–46.
[9] Georgiadis L., Werneck R.F., Tarjan R.E. Finding dominators in practice.
Journal of Graph Algorithms and Applications
, 2006, vol. 10, no. 1, pp. 69–94.
[10] Ball T., Horwitz S. Slicing Programs with Arbitrary Control-flow.
Proceedings
of 1st conference on automated algorithmic debugging
, 1993, pp. 206–222.
Статья поступила в редакцию 10.06.2013
Ссылку на эту статью просим оформлять следующим образом:
Крючков А.О., Крищенко В.А.. Построение срезов для программ на ди-
намических языках.
Инженерный журнал: наука и инновации
,
2013, вып. 6.
URL:
Крючков Алексей Олегович
родился в 1990 г., окончил бакалавриат МГТУ
им. Н.Э. Баумана в 2011 г. Магистрант кафедры «Программное обеспечение ЭВМ и
информационные технологии» МГТУ им. Н.Э. Баумана. Область научных интере-
сов: анализ программ, сетевые протоколы. e-mail:
Крищенко Всеволод Александрович
родился в 1975 г., окончил магистратуру
МГТУ им Н.Э. Баумана в 1998 г. Канд. техн. наук, доцент кафедры «Программное
обеспечение ЭВМ и информационные технологии». Автор более 15 научных тру-
дов. Область научных интересов: статический и динамический анализ и верифика-
ции программного обеспечения и сетевых протоколов. e-mail:
