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.

Incremental Analysis for Probabilistic Programs

Jieyuan Zhang, Yulei Sui, Jingling Xue. Incremental Analysis for Probabilistic Programs. In Francesco Ranzato, editor, Static Analysis - 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings. Volume 10422 of Lecture Notes in Computer Science, pages 450-472, Springer, 2017. [doi]

Authors

Jieyuan Zhang

This author has not been identified. Look up 'Jieyuan Zhang' in Google

Yulei Sui

This author has not been identified. Look up 'Yulei Sui' in Google

Jingling Xue

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