Fast Computation of Strong Control Dependencies

التفاصيل البيبلوغرافية
العنوان: Fast Computation of Strong Control Dependencies
المؤلفون: Chalupa, Marek, Klaška, David, Strejček, Jan, Tomovič, Lukáš
سنة النشر: 2020
المجموعة: Computer Science
مصطلحات موضوعية: Computer Science - Data Structures and Algorithms
الوصف: We introduce new algorithms for computing non-termination sensitive control dependence (NTSCD) and decisive order dependence (DOD). These relations on control flow graph vertices have many applications including program slicing and compiler optimizations. Our algorithms are asymptotically faster than the current algorithms. We also show that the original algorithms for computing NTSCD and DOD may produce incorrect results. We implemented the new as well as fixed versions of the original algorithms for the computation of NTSCD and DOD and we experimentally compare their performance and outcome. Our algorithms dramatically outperform the original ones.
نوع الوثيقة: Working Paper
DOI: 10.1007/978-3-030-81688-9_41
URL الوصول: http://arxiv.org/abs/2011.01564
رقم الأكسشن: edsarx.2011.01564
قاعدة البيانات: arXiv
الوصف
DOI:10.1007/978-3-030-81688-9_41