Naoki Nishida

Registered user since Fri 8 Mar 2019

Name:Naoki Nishida
Affiliation:Nagoya University
Research interests:term rewriting, program transformation, program verification


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