Monadic refinements for relational cost analysis (bibtex)
by Ivan Radiček, Gilles Barthe, Marco Gaboardi, Deepak Garg, Florian Zuleger
Reference:
Monadic refinements for relational cost analysisIvan Radiček, Gilles Barthe, Marco Gaboardi, Deepak Garg, Florian ZulegerPOPL 2018, 2018.Note: (to appear)
Bibtex Entry:
@article{MonadicRelCostPOPL18,
  author    = {Ivan Radiček and
               Gilles Barthe and
	       Marco Gaboardi and
	       Deepak Garg and
               Florian Zuleger},
  title     = {Monadic refinements for relational cost analysis},
  year      = {2018},
  journal    = {POPL 2018},
  url = {https://www.radicek.com/papers/popl18.pdf},
  note = {(to appear)}
}
Powered by bibtexbrowser