Keyword:imperative program

Papers
On Transforming Imperative Programs into Logically Constrained Term Rewrite Systems via Injective Functions from Configurations to Terms Naoki Nishida, Misaki Kojima and Takumi Kato EasyChair Preprint no. 8673