-1
$\begingroup$

enter image description here

I was wondering how to express this statement in natural and structural operational semantics. Further, how would we define the statement 'assert b' only.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.