Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences (bibtex)
by Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
Reference:
Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric SequencesAndreas Humenberger, Maximilian Jaroschek, Laura KovácsProceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2017, Kaiserslautern, Germany, July 25-28, 2017 (Michael A. Burr, Chee K. Yap, Mohab Safey El Din, eds.), pages 221-228, 2017, ACM.
Bibtex Entry:
@inproceedings{DBLP:conf/issac/HumenbergerJK17,
  author    = {Andreas Humenberger and
               Maximilian Jaroschek and
               Laura Kov{\'{a}}cs},
  editor    = {Michael A. Burr and
               Chee K. Yap and
               Mohab Safey El Din},
  title     = {{Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric
               Sequences}},
  booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
               and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
               July 25-28, 2017},
  pages     = {221--228},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://arxiv.org/abs/1705.02863},
  doi       = {10.1145/3087604.3087623}
}
Powered by bibtexbrowser