KerML 1.0b4 FTF Avatar
  1. OMG Issue

KERML_ — Interpretation 3-tuple described as 2-tuple

  • 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