A simple and scalable static analysis for bound analysis and amortized complexity analysis (bibtex)
by Moritz Sinn, Florian Zuleger, Helmut Veith
Reference:
A simple and scalable static analysis for bound analysis and amortized complexity analysisMoritz Sinn, Florian Zuleger, Helmut VeithSoftware Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik, 23.-26. Februar 2016, Wien, Österreich, pages 101-102, 2016.
Bibtex Entry:
@inproceedings{conf/se/SinnZV16,
  author    = {Moritz Sinn and
               Florian Zuleger and
               Helmut Veith},
  title     = {A simple and scalable static analysis for bound analysis and amortized
               complexity analysis},
  booktitle = {Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik,
               23.-26. Februar 2016, Wien, {\"{O}}sterreich},
  pages     = {101--102},
  year      = {2016},
  url       = {http://subs.emis.de/LNI/Proceedings/Proceedings252/article56.html}
}
Powered by bibtexbrowser