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

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
xFri 23 May 03:59
using conf.researchr.org (v1.69.0)
Support page
Sign Up