Verifying Higher-order Programs with the Dijkstra Monad (bibtex)
by , , , ,
Reference:
Verifying Higher-order Programs with the Dijkstra Monad (Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen, Benjamin Livshits), In Proceedings of the 34th annual ACM SIGPLAN conference on Programming Language Design and Implementation, 2013.
Bibtex Entry:
@inproceedings{fstar-pldi13,
  author    = {Nikhil Swamy and
               Joel Weinberger and
               Cole Schlesinger and
               Juan Chen and
               Benjamin Livshits},
  title     = {Verifying Higher-order Programs with the {Dijkstra} Monad},
  booktitle = {Proceedings of the 34th annual ACM SIGPLAN conference on Programming Language Design and Implementation},
  shortbooktitle = {PLDI},
  series = {PLDI '13},
  year      = {2013},
  pages     = {387-398},
  url = {https://www.microsoft.com/en-us/research/publication/verifying-higher-order-programs-with-the-dijkstra-monad/},
}
Powered by bibtexbrowser