Operational semantics: Difference between revisions

Content deleted Content added
BHGbot (talk | contribs)
m WP:BHGbot 6 (List 5): eponymous category first, per MOS:CATORDER; WP:GENFIXES
No edit summary
Line 16:
<blockquote>
The meaning of a program in the strict language is explained in terms of a hypothetical computer
which performs the set of actions whichthat constitute the elaboration of that program. ([[#algol68|Algol68]], Section 2)
</blockquote>