This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of NAD status.

995. Operational Semantics Unclear

Section: [structure.requirements] Status: NAD Submitter: David Abrahams Opened: 2009-03-06 Last modified: 2017-02-03

Priority: Not Prioritized

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.