|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Uday Khedker (IIT Bombay, Mumbai, India) , Amitabha Sanyal (IIT Bombay, Mumbai, India) , Bageshri Sathe (IIT Bombay, Mumbai, India)Publisher: Taylor & Francis Inc Imprint: CRC Press Inc Dimensions: Width: 15.60cm , Height: 2.20cm , Length: 23.40cm Weight: 0.703kg ISBN: 9780849328800ISBN 10: 0849328802 Pages: 396 Publication Date: 27 March 2009 Audience: Professional and scholarly , Professional & Vocational , Postgraduate, Research & Scholarly Format: Hardback Publisher's Status: Active Availability: In Print This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsPREFACE: An Introduction to Data Flow Analysis SECTION I: Intraprocedural Data Flow Analysis Classical Bit Vector Data Flow Analysis. Theoretical Abstractions in Data Flow Analysis. General Data Flow Frameworks. Complexity of Iterative Data Flow Analysis. Single Static Assignment Form as Intermediate Representation. SECTION II: Interprocedural Data Flow Analysis Introduction to Interprocedural Data Flow Analysis. Functional Approach to Interprocedural Data Flow Analysis. Value Based Approach to Interprocedural Data Flow Analysis. SECTION III: Implementing Data Flow Analysis Implementing Data Flow Analysis in GCC. APPENDICES: An Introduction to GCC.Reviews...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 !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 Author InformationUday Khedker, Amitabha Sanyal, Bageshri Sathe Tab Content 6Author Website:Countries AvailableAll regions |
||||