%0 Journal Article %1 journals/corr/NakataU14 %A Nakata, Keiko %A Uustalu, Tarmo %D 2015 %J Logical Methods in Computer Science %K dblp %N 1 %T A Hoare logic for the coinductive trace-based big-step semantics of While. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs11.html#NakataU14 %V 11

@article{journals/corr/NakataU14, added-at = {2019-05-14T00:00:00.000+0200}, author = {Nakata, Keiko and Uustalu, Tarmo}, biburl = {https://www.bibsonomy.org/bibtex/272f1e0cc1edeff3aedf6c4d16f7de320/dblp}, ee = {http://arxiv.org/abs/1412.6579}, interhash = {ab4a4dcc9e8d5534f54a7d12e64329ec}, intrahash = {72f1e0cc1edeff3aedf6c4d16f7de320}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 1, timestamp = {2019-05-15T11:50:42.000+0200}, title = {A Hoare logic for the coinductive trace-based big-step semantics of While.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs11.html#NakataU14}, volume = 11, year = 2015 }