External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Rakshit Mittal

This author has not been identified. Look up 'Rakshit Mittal' in Google

Rochisnu Banerjee

This author has not been identified. Look up 'Rochisnu Banerjee' in Google

Santonu Sarkar

This author has not been identified. Look up 'Santonu Sarkar' in Google

Soumyadip Bandyopadhyay

This author has not been identified. Look up 'Soumyadip Bandyopadhyay' in Google
runs on