Validating Dominator Trees for a Fast, Verified Dominance Test. Blazy, S., Demange, D., & Pichardie, D. In Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings, pages 84–99, 2015.
Validating Dominator Trees for a Fast, Verified Dominance Test [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/itp/BlazyDP15,
  author    = {Sandrine Blazy and
               Delphine Demange and
               David Pichardie},
  title     = {Validating Dominator Trees for a Fast, Verified Dominance Test},
  booktitle = {Interactive Theorem Proving - 6th International Conference, {ITP}
               2015, Nanjing, China, August 24-27, 2015, Proceedings},
  pages     = {84--99},
  year      = {2015},
  crossref  = {DBLP:conf/itp/2015},
  url       = {https://doi.org/10.1007/978-3-319-22102-1\_6},
  doi       = {10.1007/978-3-319-22102-1\_6},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/itp/BlazyDP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0