Building dependency graph for slicing erlang programs
暂无分享,去创建一个
[1] Robert E. Tarjan,et al. A fast algorithm for finding dominators in a flowgraph , 1979, TOPL.
[2] Alexander L. Wolf,et al. The Application of Dependence Analysis to Software Architecture Descriptions , 2003, SFM.
[3] Manfred Widera. Flow graphs for testing sequential erlang programs , 2004, ERLANG '04.
[4] Alexander L. Wolf,et al. A formal, language-independent, and compositional approach to interprocedural control dependence analysis , 2000 .
[5] David W. Binkley,et al. Interprocedural slicing using dependence graphs , 1988, SIGP.
[6] László Lövei. Automated module interface upgrade , 2009, Erlang Workshop.
[7] Zoltán Horváth,et al. Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs , 2009, CEFP.
[8] Mark David Weiser,et al. Program slices: formal, psychological, and practical investigations of an automatic program abstraction method , 1979 .
[9] Olin Shivers,et al. Control-flow analysis of higher-order languages of taming lambda , 1991 .