Generic Hoare Logic for Order-Enriched Effects with Exceptions (bibtex)
by Christoph Rauch, Sergey Goncharov, Lutz Schröder
Reference:
Generic Hoare Logic for Order-Enriched Effects with Exceptions (Christoph Rauch, Sergey Goncharov, Lutz Schröder), In Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Revised Selected Papers (Phillip James, Markus Roggenbach, eds.), pp. 208–222, Springer, 2017.
Bibtex Entry:
@InProceedings{	  RauchGoncharovEtAl17,
  author	= "Rauch, Christoph and Goncharov, Sergey and Schr{\"o}der,
		  Lutz",
  editor	= "James, Phillip and Roggenbach, Markus",
  title		= "Generic Hoare Logic for Order-Enriched Effects with
		  Exceptions",
  booktitle	= "Recent Trends in Algebraic Development Techniques: 23rd
		  IFIP WG 1.3 International Workshop, WADT 2016, Revised Selected Papers",
  year		= "2017",
  publisher	= "Springer",
  pages		= "208--222",
}
Powered by bibtexbrowser