SAS 2014 : Expectation Invariants for Probabilistic Program Loops as Fixed Points

Reference

2014

detail

Expectation Invariants for Probabilistic Program Loops as Fixed Points

Aleksandar Chakarov and Sriram Sankaranarayanan

SAS 2014: International Static Analysis Symposium

Abstract

BibTeX

@string{SAS = "International Static Analysis Symposium (SAS)"}
@inproceedings{expectation-sas14,
  author = {Aleksandar ChakarovSriram Sankaranarayanan},
  title = {Expectation Invariants for Probabilistic Program Loops as Fixed Points},
  booktitle = SAS,
  year = {2014},
}