-
Key: KERML_-92
-
Status: open
-
Source: NIST ( Mr. Conrad Bock)
-
Summary:
[From Brian Larson
] In 8.4.3.1.2 (Core Semantics Mathematical Preliminaries), the co-domain of the interpretation function (.T) is expressed as
which seems to say all sequences in S begin with the same element of the universe d 1, is this intended?
-
Reported: KerML 1.0b2 — Tue, 23 Jul 2024 19:14 GMT
-
Updated: Wed, 24 Jul 2024 16:46 GMT
-
Attachments:
- sequence-formalization-cross-product.png 20 kB (image/png)
- sequence-formalization-spec.png 76 kB (image/png)
KERML_ — Interpretation function co-domain expressed incorrectly
- Key: KERML_-92
- OMG Task Force: Kernel Modeling Language (KerML) 1.0 FTF 2
