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.

Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic

Makoto Tatsuta, Quang Loc Le, Wei-Ngan Chin. Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic. In Atsushi Igarashi, editor, Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings. Volume 10017 of Lecture Notes in Computer Science, pages 423-443, 2016. [doi]

Authors

Makoto Tatsuta

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

Quang Loc Le

This author has not been identified. Look up 'Quang Loc Le' in Google

Wei-Ngan Chin

This author has not been identified. Look up 'Wei-Ngan Chin' in Google
runs on