Title of article :
Concurrent Ada dead statements detection
Author/Authors :
Zhenqiang Chen، نويسنده , , Baowen Xu، نويسنده , , Hongji Yang، نويسنده , , Jianjun Zhao، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 2002
Keywords :
Concurrent program flow graph , Dead statements , Rendezvous , MHP algorithm
Journal title :
Information and Software Technology
Journal title :
Information and Software Technology