Keyword:imperative program

Publications
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 8673