arXiv:1511.04846 University of Colorado Boulder 18 pages http://arxiv.org/abs/1511.04846 : Synthesizing Short-Circuiting Validation of Data Structure Invariants | Bor-Yuh Evan Chang

Reference

2015

detail
pdf

Synthesizing Short-Circuiting Validation of Data Structure Invariants

Yi-Fan Tsai, Devin Coughlin, Bor-Yuh Evan Chang, and Xavier Rival

Technical Report (arXiv:1511.04846)