Found 1 document(s)
Page 1 of 1
-
In this paper, adopting the translation validation approach, we present a formal verification process to prove the correctness of compiler transformations on systems of polychronous equations. We encode the source progra...