Learning Universally Quantified Invariants of Linear Data Structures

Posted on October 23, 2014 by
by Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider
View PDF
Reference:
Learning Universally Quantified Invariants of Linear Data Structures (Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider), In CoRR, volume abs/1302.2273, 2013.
Bibtex Entry:
@article{DBLP:journals/corr/abs-1302-2273,
  author    = {Pranav Garg and
               Christof L{"{o}}ding and
               P. Madhusudan and
               Daniel Neider},
  title     = {Learning Universally Quantified Invariants of Linear Data Structures},
  journal   = {CoRR},
  year      = {2013},
  volume    = {abs/1302.2273},
  url       = {http://arxiv.org/abs/1302.2273},
  timestamp = {Mon, 15 Sep 2014 13:07:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1302-2273},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

Bookmark the permalink.