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, язык содержит инструмент статической проверки, основанный на доказательстве теорем, позволяющий статически проверять большинство таких инвариантов. |
The servant for each object can be chosen either statically (once) or dynamically (for each remote invocation), in both cases allowing the call forwarding to another server. |
Обслуживающий сервис для каждого объекта может быть выбран как статически (единоразово), так и динамически (для каждого удалённого вызова), в обоих случаях позволяя перенаправление запроса на другой сервер. |
overlay is statically linked to the OpenLDAP server to maintain compatibility with older OpenLDAP releases. |
статически привязан к серверу OpenLDAP и его назначением является поддержка совместимости с предыдущими выпусками OpenLDAP. |
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. |
To improve aerodynamic quality and takeoff and landing characteristics the aircraft was designed to be pitch and laterally statically unstable with fly-by-wire control. |
С целью повышения аэродинамического качества и улучшения взлётно-посадочных характеристик самолёт проектируется статически неустойчивым в продольном и боковых направлениях с применением многоканальной электродистанционной системы управления. |