Assertion: meaning | /r/HasProperty | specified by the computation
Facets:
Source sentences:
text: Operational semantics: The meaning of a construct is specified by the computation it induces when it is executed on a machine.