A Relatively Complete Generic Hoare Logic for Order-Enriched Effects (bibtex)
by Sergey Goncharov, Lutz Schröder
Reference:
A Relatively Complete Generic Hoare Logic for Order-Enriched Effects (Sergey Goncharov, Lutz Schröder), 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/~sergey/papers/enriched_hoare.pdf},  
  doi =  {10.1109/LICS.2013.33}
}
Powered by bibtexbrowser