checkingType
P158291
predicate
Indicates that one entity is verifying, inspecting, or assessing the type or category of another entity.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| typeChecking | 1 |
Sample triples (2)
| Subject | Object |
|---|---|
| Intel MPX | spatial memory bounds checking ⓘ |
| Bolero (F# for Blazor) | compile-time type safety via predicate surface "typeChecking" ⓘ |