Translation Validation of Loop involving Code Optimizing Transformations using Petri Net based Models of Programs

Rakshit Mittal, Rochisnu Banerjee, Santonu Sarkar, Soumyadip Bandyopadhyay. Translation Validation of Loop involving Code Optimizing Transformations using Petri Net based Models of Programs. In Michael Köhler-Bußmeier, Ekkart Kindler, Heiko Rölke, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference). Volume 2651 of CEUR Workshop Proceedings, pages 138-146, CEUR-WS.org, 2020. [doi]

Abstract

Abstract is missing.