Editore: Mechanical Industry Press, 2022
ISBN 10: 7111706889 ISBN 13: 9787111706885
Da: liu xing, Nanjing JiangSu, JS, Cina
paperback. Condizione: 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.