Verifying Higher-order Programs with the Dijkstra Monad (bibtex)

by Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen and Benjamin Livshits

Reference:

Verifying Higher-order Programs with the Dijkstra Monad (Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen and 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/},
}