We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Translation validation of coloured Petri net models of programs on integers.
- Authors
Bandyopadhyay, Soumyadip; Sarkar, Dipankar; Mandal, Chittaranjan; Giese, Holger
- Abstract
Programs are often subjected to significant optimizing and parallelizing transformations based on extensive dependence analysis. Formal validation of such transformations needs modelling paradigms which can capture both control and data dependences in the program vividly. Being value-based with an inherent scope of capturing parallelism, the untimed coloured Petri net (CPN) models, reported in the literature, fit the bill well; accordingly, they are likely to be more convenient as the intermediate representations (IRs) of both the source and the transformed codes for translation validation than strictly sequential variable-based IRs like sequential control flow graphs (CFGs). In this work, an efficient path-based equivalence checking method for CPN models of programs on integers is presented. Extensive experimentation has been carried out on several sequential and parallel examples. Complexity and correctness issues have been treated rigorously for the method.
- Subjects
PETRI nets; TRANSLATING &; interpreting; FLOWGRAPHS; INTEGERS; SOURCE code; INTEGER programming
- Publication
Acta Informatica, 2022, Vol 59, Issue 6, p725
- ISSN
0001-5903
- Publication type
Article
- DOI
10.1007/s00236-022-00419-z