Travelled to:
1 × Austria
1 × Belgium
1 × USA
Collaborated with:
B.Xu H.Yang H.Yu J.Zhao
Talks about:
concurr (2) ada (2) statement (1) algorithm (1) program (1) analysi (1) static (1) object (1) execut (1) detect (1)
Person: Zhengqiang Chen
DBLP: Chen:Zhengqiang
Contributed to:
Wrote 3 papers:
- AdaEurope-2002-ChenBZY #ada #analysis #concurrent #dependence #source code
- Static Dependency Analysis for Concurrent Ada 95 Programs (ZC, BX, JZ, HY), pp. 219–230.
- AdaEurope-2001-ChenBY #ada #slicing
- Slicing Tagged Objects in Ada (ZC, BX, HY), pp. 100–112.
- SIGAda-2001-ChenBY #adaptation #algorithm #detection #using
- Detecting concurrently executed pairs of statements using an adapted MHP algorithm (ZC, BX, HY), pp. 107–114.