Principles Program Analysis by Lai Ming (1 results)
- Softcover
Seller: liu xing, Nanjing, JS, Chinaliu xing
Contact seller5-star sellerCondition: New
£ 132.21
£ 13.64 shippingShips from China to U.S.A.Quantity: 3 available
paperback. Condition: New. Language:Chinese.Paperback. Pub Date: 2022-08-01 Pages: 300 Publisher: Mechanical Industry Press The book is divided into 6 chapters. of which Chapter 1 is an introduction. Chapters 2~5 are data flow analysis. constraint-based analysis. Abstract interpretations. types. and action systems. and Chapter 6… is an introduction to analytical algorithms. The content of this book basically includes the classic methods and techniques in the field of program analysis. coupled with a rigorous formal syst.
