Generic Hoare Logic for Order-Enriched Effects with Exceptions (bibtex)

by Christoph Rauch, Sergey Goncharov and Lutz Schröder

Reference:

Christoph Rauch, Sergey Goncharov and Lutz Schröder: Generic Hoare Logic for Order-Enriched Effects with Exceptions, In Phillip James, Markus Roggenbach, eds.: Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Revised Selected Papers, 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:

@string{springer="Springer"}
@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/ext/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>.},
 }