A Hoare logic for the coinductive trace-based big-step semantics of While
Nakata, Keiko
;
Uustalu, Tarmo
Logical methods in computer science
2015
/
p. 1-32
https://doi.org/10.2168/LMCS-11(1:1)2015
https://www.scopus.com/sourceid/19700175752
https://www.scopus.com/record/display.uri?eid=2-s2.0-84927614414&origin=inward&txGid=471be739e46f27856bce1949cd06219a
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2015
https://www.webofscience.com/wos/woscc/full-record/WOS:000353193000009