-
Key: KERML11-18
-
Status: open
-
Source: NIST ( Mr. Conrad Bock)
-
Summary:
Abstract types (Type::isAbstract=true) are described as
instances of this Type must also be instances of at least one of its specialized Types.
but this semantics is not math/modeled.
-
Reported: KerML 1.0a1 — Sat, 15 Apr 2023 14:22 GMT
-
Updated: Wed, 20 Aug 2025 15:52 GMT
-
Attachments:
- HP-Meaning-of-abstract-my-take.pdf 59 kB (application/pdf)
- Vince-Thoughts-about-abstract.pdf 33 kB (application/pdf)
KERML11 — isAbstract, semantics
- Key: KERML11-18
- OMG Task Force: Kernel Modeling Language (KerML) 1.1 RTF