| Similarly when a library is updated it ensures that all the system packages use the new version, even packages statically linked to it. |
Аналогично, когда библиотека обновляется, это гарантирует, что все системные пакеты используют новую версию, даже пакеты, статически связанные с ней. |
| Like ESC/Java, it includes a static checking tool based on a theorem prover that is able to statically verify many of these invariants. |
Как и ESC/Java, язык содержит инструмент статической проверки, основанный на доказательстве теорем, позволяющий статически проверять большинство таких инвариантов. |
| Type' ' with data contract name': 'is not expected. Add any types not known statically to the list of known types - for example, by using the KnownTypeAttribute attribute or by adding them to the list of known types passed to DataContractSerializer. |
Тип с именем контракта данных: не ожидается. Добавьте любые статически неизвестные типы в список известных типов - например, используя атрибут KnownTypeAttribute, или путем их добавления в список известных типов, передаваемый в DataContractSerializer. |
| It is implemented as an interpreter written in OCaml, and supports statically typed distributed programming, transparent remote communication, agent-based mobility, and some failure-detection. |
Он реализован как интерпретатор, написанный на OCaml, и поддерживает статически типизированное распределённое программирование, прозрачную удалённую связь, мобильность на основе агентов и обнаружение сбоев. |
| This package contains the statically linked binary for "normal" systems. |
В данном пакете содержится статически скомпонованная программа для «оыбчных» систем. |