A Relatively Complete Generic Hoare Logic for Order-Enriched Effects (bibtex)

Reference:

Sergey Goncharov and Lutz Schröder: A Relatively Complete Generic Hoare Logic for Order-Enriched Effects, In Proc. 28th Annual Symposium on Logic in Computer Science (LICS 2013), pp. 273–282, IEEE, 2013.

Bibtex Entry:

@InProceedings{	  GoncharovSchroder13b,
  author	= {Sergey Goncharov and Lutz Schr{\"o}der},
  title		= {A Relatively Complete Generic Hoare Logic for
		  Order-Enriched Effects},
  booktitle	= {Proc.~28th Annual Symposium on Logic in Computer Science (LICS 2013)},
  year		= {2013},
  pages		= {273-282},
  publisher =	 {IEEE},
  url = {http://www8.informatik.uni-erlangen.de/ext/sergey/papers/enriched_hoare.pdf},  
  doi =  {10.1109/LICS.2013.33}
}