Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths Journal Article uri icon

Overview

publication date

  • June 1, 2013

Date in CU Experts

  • September 6, 2013 12:26 PM

Full Author List

  • Sankaranarayanan S; Chakarov A; Gulwani S

author count

  • 3

citation count

  • 32

Other Profiles

International Standard Serial Number (ISSN)

  • 0362-1340

Electronic International Standard Serial Number (EISSN)

  • 1558-1160

Additional Document Info

start page

  • 447

end page

  • 458

volume

  • 48

issue

  • 6