
This book provides an in-depth analysis of two approaches to interprocedural data flow analysis in computer science. The authors highlight the advantages and limitations of each approach and provide a comprehensive evaluation of their performance. The book is an essential...