Offers a treatment of data flow analysis technique. This book includes interprocedural data flow analysis. It provides coverage of analysis beyond bit vectors. It presents mathematical foundations and includes a study of data flow analysis implement...Loe edasi...
