Knext

Query Results: Checking.n (page 116)

3,407 results in the active KB.

A checking can be affordable.
Logical form
Learned from
2 sentences.
A (reference checking) may pertain-to a process.
Logical form
Learned from
2 sentences.
A (type checking) can be reduced.
Logical form
Learned from
2 sentences.
A consequence can be constituted-of-or-filled-with (function type checking).
Logical form
Learned from
2 sentences.
Warnings can be a consequence of (function type checking).
Logical form
Learned from
2 sentences.
Arguments may undergo a checking.
Logical form
Learned from
2 sentences.
Some declarations may be detected by (type checking).
Logical form
Learned from
2 sentences.
A checking can be weakened.
Logical form
Learned from
2 sentences.
Checking can be unsafe.
Logical form
Learned from
2 sentences.
A (type checking) may be doed.
Logical form
Learned from
2 sentences.
(Type declarations) may suppress a (type checking) may be doed.
Logical form
Learned from
2 sentences.
(Type checking) can be precise.
Logical form
Learned from
2 sentences.
(Equivalence checking) can be correct.
Logical form
Learned from
2 sentences.
(Type checking) can be for values.
Logical form
Learned from
2 sentences.
Checking may be enforced for courses.
Logical form
Learned from
2 sentences.

Search

Results returned on 2026-08-04.