Synopsis
Improve how compilers analyze programs with a smarter use-definition approach.
This book explains a practical method to propagate attributes like value, type, and range directly from definitions to uses, offering a more efficient alternative to traditional flow-graph techniques.
Two clear, accessible sections frame the topic: a comparison of use-definition propagation with flow-graph methods, and a detailed look at both intraprocedural and interprocedural analyses. The discussion stays focused on real-world performance and the intuition behind why this approach can be faster and require less memory.What you will experience
- Foundations of attribute-flow analyses and the decision to propagate from definitions to uses
- How flow graphs relate to data-flow equations and maximal fixpoints
- Equivalence results showing when the two methods yield the same results
- Extensions to interprocedural analysis using call-strings and related techniques
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Application of the Use-Definition Chaining to Attribute-Flow...
Seller Image
Application of the Use-Definition Chaining to Attribute-Flow Analysis
Print on DemandSeller: Forgotten Books, London, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Print on Demand. This book examines a specific approach to data flow analysis known as use-definition chaining. The author compares use-definition chaining to the well-known flow graph method for solving data flow problems and argues that the use-definition method is often a more efficient and effective approach, particularly in the context of attribute flow analysis. In the latter half of the book, the author extends this method to the analysis of interprocedural attribute flow, an area where it offers particular advantages over other methods. Overall, this book demonstrates the importance of use-definition chaining as a pragmatic and conceptually rich technique for data flow analysis. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item. Seller Inventory # 9781332869732_0
Buy New
US$ 17.75
Free Shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Application of the UseDefinition Chaining to AttributeFlow Analysis Classic Reprint
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # LW-9781332869732
Stock Image
Application of the UseDefinition Chaining to AttributeFlow Analysis Classic Reprint
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # LW-9781332869732
Buy New
US$ 24.43
US$ 4.44 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 15 available