conf.researchr.org / Koji Nakazawa

Registered user since Tue 3 Dec 2019

Name:Koji Nakazawa
Country:Japan
Affiliation:Graduate School of Informatics, Nagoya University
Personal website:http://www.sqlab.jp/~nakazawa/

Contributions

APLAS 2019 Author of Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions within the Research Papers-track
PPS 2016 Author of A Denotational Semantics of a Probabilistic Stream-Processing Language within the PPS 2016-track