Author:Naoki Nishida

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
On Transforming Rewriting-Induction Proofs for Logical-Connective-Free Sequents into Cyclic Proofs Shujun Zhang and Naoki Nishida EasyChair Preprint 8672
On Reducing Non-Occurrence of Specified Runtime Errors to All-Path Reachability Problems of Constrained Rewriting Misaki Kojima and Naoki Nishida EasyChair Preprint 8671