A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While

by Keiko Nakata , Tarmo Uustalu
Citations:2 - 0 self