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.

Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier

Zhengyao Lin, Xiaohong Chen 0002, Minh-Thai Trinh, John Wang, Grigore Rosu. Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier. Proceedings of the ACM on Programming Languages, 7(PLDI):56-84, 2023. [doi]

Authors

Zhengyao Lin

This author has not been identified. Look up 'Zhengyao Lin' in Google

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

John Wang

This author has not been identified. Look up 'John Wang' 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