The semantics of message-passing primitives in Sing# are defined by formal and written contracts. |
Семантика примитивов обмена данными (message-passing primitives) в языке Sing# фиксирована и описывается формальными соглашениями. |
This is the semantics of remote promises in E. potentially, the access could succeed if the future is already resolved, but signal an error if it is not. |
Это семантика удалённых promise в E. теоретически возможна такая ситуация, что доступ будет получен, если future разрешён, а иначе будет вызвана ошибка. |
No, it's not semantics. |
Нет, это не семантика. |
However, the new e-business programmes developed in the United States and the European Union have been designed separately, and - despite their important commonalities and identical basic assumptions - business processes and semantics are not aligned. |
Однако новые программы электронных деловых операций разрабатывались в Соединенных Штатах и Европейском союзе изолированно друг от труда, и, несмотря на присущие им важные общие особенности и идентичные базовые допущения, сами процессы и семантика деловых операций не согласованы. |
It takes its semantics from a subset of the dimensions of the Dimensional Data Structure. |
Ее семантика связана с подгруппой размеров в структуре размерных данных. |