7 citations · 7 across the 1 of their papers we have counts for
1 paper
Yoshiaki Kanazawa, Naoki Nishida
In this paper, we show a new approach to transformations of an imperative program with function calls and global variables into a logically constrained term rewriting system. The r…