Detecting Dead Statements for Concurrent Programs.

Zhenqiang Chen Baowen Xu Hongji Yang

Published in: SCAM (2001)

Keyphrases

concurrent programs
process algebra
concurrent programming
web applications
database
natural language
artificial intelligence
high level
expert systems
formal methods
concurrent processes