Type-checking in Formally Non-typed Systems
26442Knowledge Triples
| Source Entity | Relationship | Target Entity |
|---|---|---|
|
Проверка типов
Method |
appliesTo |
Нетипизированные формализмы
OtherEntity |
|
Проверка типов
Method |
improves |
Глубокий разбор
Method |