995. Operational Semantics Unclear

Section: [structure.requirements] Status: NAD Submitter: David Abrahams Opened: 2009-03-06 Last modified: 2016-01-28 10:19:27 UTC

Priority: Not Prioritized

View all other issues in [structure.requirements].

View all issues with NAD status.


As a practical matter there's disagreement on the meaning of operational semantics. If the text in [structure.requirements]p4 isn't clear, it should be clarified. However, it's not clear whether the disagreement is merely due to people not being aware of the text.

[ Batavia (2009-05): ]

Agree with the recommended NAD resolution.

Proposed resolution:

Recommend NAD. The text in [structure.requirements] is perfectly clear.