From bounded affine types to automatic timing analysis. Ghica, D. R. & Smith, A. CoRR, 2013.
From bounded affine types to automatic timing analysis. [link]Paper  From bounded affine types to automatic timing analysis. [link]Link  bibtex   
@article{ journals/corr/GhicaS13,
  added-at = {2013-08-15T00:00:00.000+0200},
  author = {Ghica, Dan R. and Smith, Alex},
  biburl = {http://www.bibsonomy.org/bibtex/26c0b65298ca4c507261fa598289f83b0/dblp},
  ee = {http://arxiv.org/abs/1307.2473},
  interhash = {f5415ed3f53ded9efcfff2534d163459},
  intrahash = {6c0b65298ca4c507261fa598289f83b0},
  journal = {CoRR},
  keywords = {dblp},
  title = {From bounded affine types to automatic timing analysis.},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1307.html#GhicaS13},
  volume = {abs/1307.2473},
  year = {2013}
}

Downloads: 0