list | abstracts | bib ]

Effect Analysis for Programs with Callbacks

paper pdf   

Citation

Etienne Kneuss, Viktor Kuncak, and Philippe Suter. Effect analysis for programs with callbacks. In Fifth Working Conference on Verified Software: Theories, Tools and Experiments, 2013.

BibTex Entry

@INPROCEEDINGS{KneussETAL13EffectAnalysisProgramsCallbacks,
  author = {Etienne Kneuss and Viktor Kuncak and Philippe Suter},
  title = {Effect Analysis for Programs with Callbacks},
  booktitle = {Fifth Working Conference on Verified Software: Theories, Tools and Experiments},
  year = 2013,
  localurl = {http://lara.epfl.ch/~kuncak/papers/KneussETAL13EffectAnalysisProgramsCallbacks.pdf}
}

list | abstracts | bib ]