This page shows all presentations of this author published in EasyChair Smart Slide.
On Transforming Imperative Programs into Logically Constrained Term Rewrite Systems via Injective Functions from Configurations to Terms
Naoki Nishida, Misaki Kojima and Takumi Kato
On Reducing Non-Occurrence of Specified Runtime Errors to All-Path Reachability Problems of Constrained Rewriting
Misaki Kojima and Naoki Nishida