-
Key: KERML_-94
-
Status: closed
-
Source: NIST ( Mr. Conrad Bock)
-
Summary:
In 8.4.3.1.2 (Core Semantics Mathematical Preliminaries), second bullet list, second bullet (starting "An interpretation"), says
I = (Δ,Σ,⋅T) ... is a 2-tuple
The bullets after this describe three elements for I.
-
Reported: KerML 1.0b2 — Wed, 24 Jul 2024 17:25 GMT
-
Disposition: Resolved — KerML 1.0b4
-
Disposition Summary:
Describe interpretation as 3-tuple
Change textual description of interpretation to describe it as a 3-tuple.
-
Updated: Sat, 19 Jul 2025 18:58 GMT
KERML_ — Interpretation 3-tuple described as 2-tuple
- Key: KERML_-94
- OMG Task Force: Kernel Modeling Language (KerML) 1.0 FTF 2