Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Arabic
Chinese
Czech
English
Esperanto
French
German
Greek
Hungarian
Italian
Japanese
Norwegian Bokmål
Polish
Russian
Scottish Gaelic
Serbian Latin
Spanish
Swedish
Ukrainian
Uzbek
Terms
for subject
Programming
containing
prove
|
all forms
|
exact matches only
English
Russian
prove
absence of runtime errors
выполнить формальное доказательство отсутствия ошибок времени выполнения
(overflows, constraint errors, reading of uninitialized variables etc.
Alex_Odeychuk
)
To
prove
more general theorems about recursively defined processes, it is necessary to introduce a law which states that every properly guarded recursive equation has only one solution
для доказательства более общих теорем о рекурсивно определённых процессах необходимо ввести закон, гласящий, что всякое должным образом предварённое рекурсивное уравнение имеет единственное решение
(см.
Communicating Sequential Processes by C.A.R. Hoare
1985
ssn
)
prove
the absence of constraint errors
выполнить доказательство отсутствия ошибки выхода за ограничение
(корпорации AdaCore
Alex_Odeychuk
)
prove
the absence of runtime exceptions
доказать отсутствие ошибок во время выполнения
(корпорации AdaCore
Alex_Odeychuk
)
Get short URL