Deciding Entailments in Inductive Separation Logic with Tree Automata. Iosif, R., Rogalewicz, A., & Vojnar, T. In Proceedings of Automated Technology for Verification and Analysis (ATVA), pages 201-218, 2014.
Deciding Entailments in Inductive Separation Logic with Tree Automata [link]Paper  bibtex   
@inproceedings{ dblp1945716,
  title = {Deciding Entailments in Inductive Separation Logic with Tree Automata},
  author = {Radu Iosif and Adam Rogalewicz and Tomás Vojnar},
  author_short = {Iosif, R. and Rogalewicz, A. and Vojnar, T.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2014},
  key = {dblp1945716},
  id = {dblp1945716},
  biburl = {http://www.dblp.org/rec/bibtex/conf/atva/IosifRV14},
  url = {http://dx.doi.org/10.1007/978-3-319-11936-6_15},
  conference = {ATVA},
  pages = {201-218},
  text = {ATVA 2014:201-218},
  booktitle = {Proceedings of Automated Technology for Verification and Analysis (ATVA)}
}

Downloads: 0