External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions

Makoto Tatsuta, Koji Nakazawa, Daisuke Kimura. Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions. In Anthony Widjaja Lin, editor, Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings. Volume 11893 of Lecture Notes in Computer Science, pages 367-387, Springer, 2019. [doi]

Authors

Makoto Tatsuta

This author has not been identified. Look up 'Makoto Tatsuta' in Google

Koji Nakazawa

This author has not been identified. Look up 'Koji Nakazawa' in Google

Daisuke Kimura

This author has not been identified. Look up 'Daisuke Kimura' in Google
runs on