-
Key: KERML-3
-
Status: open
-
Source: NIST ( Mr. Conrad Bock)
-
Summary:
Read only features (Feature::isReadOnly=true) are described as
Values of read only features on each instance of their domain are the same during the entire existence of that instance
but this semantics is not model/mathed and depends on Kernel for instances existing in time.
-
Reported: KerML 1.0a1 — Thu, 13 Apr 2023 20:02 GMT
-
Updated: Tue, 9 Apr 2024 23:30 GMT