Multithreaded Pointer Analysis Based on Petri Net

Fei Liu, Bixin Li. Multithreaded Pointer Analysis Based on Petri Net. In Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), Eden Roc Renaissance, Miami Beach, USA, July 7-9, 2011. pages 127-130, Knowledge Systems Institute Graduate School, 2011.

Abstract

Abstract is missing.