Bound analysis of imperative programs with the size-change abstraction (bibtex)
by Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith
Reference:
Bound analysis of imperative programs with the size-change abstractionFlorian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut VeithProceedings of the 18th international conference on Static analysis, pages 280-297, 2011, Springer-Verlag.
Bibtex Entry:
@inproceedings{zuleger:gulwani:sinn:veith:sas2011,
  author = {Zuleger, Florian and Gulwani, Sumit and Sinn, Moritz and Veith, Helmut},
  title = {Bound analysis of imperative programs with the size-change abstraction},
  booktitle = {Proceedings of the 18th international conference on Static analysis},
  series = {SAS'11},
  year = {2011},
  isbn = {978-3-642-23701-0},
  location = {Venice, Italy},
  pages = {280--297},
  numpages = {18},
  url = {http://dl.acm.org/citation.cfm?id=2041552.2041574},
  acmid = {2041574},
  publisher = {Springer-Verlag},
  address = {Berlin, Heidelberg}
}
Powered by bibtexbrowser