Content deleted Content added
Line 65:
| Instances can not change their type at runtime. || Class membership may change at runtime.
|-
| The list of classes is fully known at compile-time and cannot change after that. ||
|-
| Compilers are used at build-time. Compile-time errors indicate problems. || Reasoners can be used for classification and consistency checking at runtime or build-time.
|