Register
Log In
Home
Browse Content
Advanced Search
About CRCnetBASE
Subject Collections
How to Subscribe
Librarian Resources
News & Events
Free Trial
About this Book
Search
Permalink
http://dx.doi.org/10.1201/9780849332517
Download to Citation Mgr
View Abstracts
Add to Bookshelf
Email
V
Front MatterAbstract - Hi-Res PDF (306 KB) - PDF w/links (307 KB)
1
Chapter 1. An Introduction to Data Flow AnalysisAbstract - Hi-Res PDF (375 KB) - PDF w/links (376 KB)
23
Chapter 2. Classical Bit Vector Data Flow AnalysisAbstract - Hi-Res PDF (492 KB) - PDF w/links (493 KB)
59
Chapter 3. Theoretical Abstractions in Data Flow AnalysisAbstract - Hi-Res PDF (590 KB) - PDF w/links (591 KB)
101
Chapter 4. General Data Flow FrameworksAbstract - Hi-Res PDF (722 KB) - PDF w/links (723 KB)
159
Chapter 5. Complexity of Iterative Data Flow AnalysisAbstract - Hi-Res PDF (452 KB) - PDF w/links (453 KB)
185
Chapter 6. Single Static Assignment Form as Intermediate RepresentationAbstract - Hi-Res PDF (576 KB) - PDF w/links (577 KB)
233
Chapter 7. Introduction to Interprocedural Data Flow AnalysisAbstract - Hi-Res PDF (405 KB) - PDF w/links (406 KB)
259
Chapter 8. Functional Approach to Interprocedural Data Flow AnalysisAbstract - Hi-Res PDF (494 KB) - PDF w/links (495 KB)
293
Chapter 9. Value-Based Approach to Interprocedural Data Flow AnalysisAbstract - Hi-Res PDF (544 KB) - PDF w/links (545 KB)
333
Chapter 10. Implementing Data Flow Analysis in GCCAbstract - Hi-Res PDF (348 KB) - PDF w/links (349 KB)
365
AppendixA. An Introduction to GCCAbstract - Hi-Res PDF (195 KB) - PDF w/links (196 KB)
371
ReferencesAbstract - Hi-Res PDF (203 KB) - PDF w/links (204 KB)