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.

Towards a unified proof framework for automated fixpoint reasoning using matching logic

Xiaohong Chen 0002, Minh-Thai Trinh, Nishant Rodrigues, Lucas Peña, Grigore Rosu. Towards a unified proof framework for automated fixpoint reasoning using matching logic. Proceedings of the ACM on Programming Languages, 4(OOPSLA), 2020. [doi]

Authors

Xiaohong Chen 0002

This author has not been identified. Look up 'Xiaohong Chen 0002' in Google

Minh-Thai Trinh

This author has not been identified. Look up 'Minh-Thai Trinh' in Google

Nishant Rodrigues

This author has not been identified. Look up 'Nishant Rodrigues' in Google

Lucas Peña

This author has not been identified. Look up 'Lucas Peña' in Google

Grigore Rosu

This author has not been identified. It may be one of the following persons: Look up 'Grigore Rosu' in Google
runs on