Description |
1 online resource (xiii, 386 pages) : illustrations |
Contents |
Cover -- Title -- Copyright -- Preface -- Contents -- Chapter 1: An Introduction to Data Flow Analysis -- Part I: Intraprocedural Data Flow Analysis -- Chapter 2: Classical Bit Vector Data Flow Analysis -- Chapter 3: Theoretical Abstractions in Data Flow Analysis -- Chapter 4: General Data Flow Frameworks -- Chapter 5: Complexity of Iterative Data Flow Analysis -- Chapter 6: Single Static Assignment Form as Intermediate Representation -- Part II: Interprocedural Data Flow Analysis -- Chapter 7: Introduction to Interprocedural Data Flow Analysis -- Chapter 8: Functional Approach to Interprocedural Data Flow Analysis -- Chapter 9: Value-Based Approach to Interprocedural Data Flow Analysis -- Part III: Implementing Data Flow Analysis -- Chapter 10: Implementing Data Flow Analysis in GCC -- A: An Introduction to GCC -- References -- Index |
Summary |
Provides a very decent and quite balanced coverage of the topic from a formal perspective. It is well written and nicely organized, containing many examples which definitely help to clarify the rather technical content. All the chapters end with a summary and concluding remarks, as well as bibliographic notes, pointing to further readings. This book also comes with a live web page that contains slides with some additional material, [an updated] Errata section and the analyzer software. This book includes an introduction to GCC, a rich list of references, and an index.--Zhjzhang Shen, Plymouth State University]]> |
Bibliography |
Includes bibliographical references (pages 371-278) and index |
Notes |
Print version record |
Subject |
Compilers (Computer programs)
|
|
Data flow computing.
|
|
Software engineering.
|
|
Computer software -- Verification.
|
|
COMPUTERS -- Systems Architecture -- Distributed Systems & Computing.
|
|
Compilers (Computer programs)
|
|
Computer software -- Verification
|
|
Data flow computing
|
|
Software engineering
|
Form |
Electronic book
|
Author |
Sanyal, Amitabha.
|
|
Karkare, Bageshri.
|
ISBN |
9780849332517 |
|
0849332516 |
|
0849328802 |
|
9780849328800 |
|