Li Shen, Zhiying Wang, Jianzhuang Lu. Predicate Analysis Based on Path Information. In Xingming Zhou, Stefan Jähnichen, Ming Xu, Jiannong Cao, editors, Advanced Parallel Programming Technologies, 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings. Volume 2834 of Lecture Notes in Computer Science, pages 147-151, Springer, 2003. [doi]
Abstract is missing.