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. The final publication is available at Springer via https://doi.org/10.1007/978-3-319-72044-9_14.
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",
  url = {http://www8.cs.fau.de/_media/research:papers:hoare-exceptions.pdf},
  comment = {The final publication is available at Springer via <a href="https://doi.org/10.1007/978-3-319-72044-9_14">https://doi.org/10.1007/978-3-319-72044-9_14</a>.},
 }
Powered by bibtexbrowser