• Sign in
  • Sign up
conf.researchr.org / Koji Nakazawa
  • APLAS 2019 profile
  • APLAS 2024 profile
  • POPL 2016 profile

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

2024

APLAS

  • Author of Relative Completeness of Incorrectness Separation Logic within the Research Papers-track

2019

APLAS

  • Author of Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions within the Research Papers-track

2016

LAFI

  • Author of A Denotational Semantics of a Probabilistic Stream-Processing Language within the PPS 2016-track
Share
xWed 11 Mar 14:53
using conf.researchr.org (v1.73.1)
Support page
Sign Up