تفاصيل الكتاب
تنسيق
غلاف ورقي
صفحات
227
لغة
الإنجليزية
منشور
Dec 30, 2017
الناشر
Springer
رقم ISBN-10
3319717332
رقم ISBN-13
9783319717333
الوصف
The book presents a collection of revised selected papers from the 4th International Conference on Tools and Methods of Program Analysis, held in Moscow in 2017. Itsykson, Šcedrov, and Zakharov compile the findings and advancements in program analysis techniques, showcasing the work of researchers and practitioners in the field.
These proceedings highlight cutting-edge tools, methodologies, and theoretical underpinnings that drive innovation in program analysis. By examining various approaches and their applications, the authors encourage further exploration and discussion among academics and industry professionals alike, making it a valuable resource for anyone interested in this evolving area of study.
These proceedings highlight cutting-edge tools, methodologies, and theoretical underpinnings that drive innovation in program analysis. By examining various approaches and their applications, the authors encourage further exploration and discussion among academics and industry professionals alike, making it a valuable resource for anyone interested in this evolving area of study.