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
| PADL 2023 | From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting Session Chair of Analysis and Symbolic Methods (part of PADL 2023) | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2023-profile
View general profile
View general profile