- proof of termination
- доказательство правильности завершения (программы)
Большой англо-русский и русско-английский словарь. 2001.
proof of termination
Смотреть что такое "proof of termination" в других словарях:
Termination analysis — In computer science, a termination analysis is program analysis which attempts to determine whether the evaluation of a given program will definitely terminate. Because the halting problem is undecidable, termination analysis cannot work… … Wikipedia
Termination — may refer to:In science: *Termination codon, in molecular biology *Termination factor, in genetics, part of the process of transcribing RNA *Termination type, in lithic reduction, a characteristic indicating the manner in which the distal end of… … Wikipedia
Termination for Cause (Jericho episode) — Infobox Jericho episode Title = Termination for Cause Caption = Series = Jericho Season = 2 Episode = 5 Airdate = March 11, 2008 Writer = Rob Fresco Director = Guy Bee Guests = Prev = Oversight Next = Sedition MorseCode … Wikipedia
Residual block termination — In cryptography, residual block termination is a variation of cipher block chaining mode (CBC) that does not require any padding. It does this by effectively changing to cipher feedback mode for one block. The cost is the increased… … Wikipedia
Ordinal collapsing function — In mathematical logic and set theory, an ordinal collapsing function (or projection function) is a technique for defining (notations for) certain recursive large countable ordinals, whose principle is to give names to certain ordinals much larger … Wikipedia
Unification (computer science) — Unification, in computer science and logic, is an algorithmic process by which one attempts to solve the satisfiability problem. The goal of unification is to find a substitution which demonstrates that two seemingly different terms are in fact… … Wikipedia
China Employment Law — The China Employment Law 2008 is a statute which regulates the contract of employment among workers in China. It was introduced on 1 January 2008.Text from the Actcquote|Effective January 1, 2008 The following is an translated copy of the… … Wikipedia
Loop variant — In computer science, a loop variant is a mathematical function defined on the state space of a computer program having the property that each iteration of a loop (given its invariant) strictly decreases its value with respect to a well founded… … Wikipedia
Dependent type — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
ГОСТ 21962-76: Соединители электрические. Термины и определения — Терминология ГОСТ 21962 76: Соединители электрические. Термины и определения оригинал документа: 68. Байонетное замковое устройство электрического соединителя Е. Bayonet coupling Замковое устройство электрического соединителя, конструкция… … Словарь-справочник терминов нормативно-технической документации
At-will employment — is a doctrine of American law that defines an employment relationship in which either party can break the relationship with no liability provided there was no express contract for a definite term governing the employment relationship and that the … Wikipedia
