Registered user since Fri 8 Mar 2019
Name:Naoki Nishida
Country:Japan
Affiliation:Nagoya University
Personal website: https://www.trs.css.i.nagoya-u.ac.jp/~nishida/
Research interests:term rewriting, program transformation, program verification
Contributions
2025
Symposium on Practical Aspects of Declarative Languages
Using general profile