KerML 1.0b3 FTF Avatar
  1. OMG Issue

KERML_ — Interpretation 3-tuple described as 2-tuple

Open Closed All
  • Key: KERML_-94
  • Status: open  
  • 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
  • Updated: Wed, 24 Jul 2024 17:27 GMT