Multivariate amortized resource analysis. Hoffmann 0002, J., Aehlig, K., & Hofmann 0001, M. ACM Trans. Program. Lang. Syst. (TOPLAS), 34(3):14, 2012.
Multivariate amortized resource analysis [link]Paper  bibtex   
@article{ dblp2506598,
  title = {Multivariate amortized resource analysis},
  author = {Jan Hoffmann 0002 and Klaus Aehlig and Martin Hofmann 0001},
  author_short = {Hoffmann 0002, J. and Aehlig, K. and Hofmann 0001, M.},
  bibtype = {article},
  type = {article},
  year = {2012},
  key = {dblp2506598},
  id = {dblp2506598},
  biburl = {http://www.dblp.org/rec/bibtex/journals/toplas/0002AH12},
  url = {http://doi.acm.org/10.1145/2362389.2362393},
  journal = {ACM Trans. Program. Lang. Syst. (TOPLAS)},
  pages = {14},
  number = {3},
  volume = {34},
  text = {ACM Trans. Program. Lang. Syst. (TOPLAS) 34(3):14 (2012)}
}

Downloads: 0