| 词汇 | soundness |
| 释义 | soundness noun[ U ] uk /ˈsaʊnd.nəs/ us /ˈsaʊnd.nəs/ soundnessnoun[U] (GOOD CONDITION)the fact of being in good condition良好，完好 Undamaged, unbroken or in good condition (all) in one pieceidiom ain't anti-wear be (as) good as newidiom be as sound as a bellidiom be none the worseidiom resistive safe unbroken unbruised uncracked uninjured unmolested unpolluted unscarred unscathed walk walk away well preserved worse soundnessnoun[U] (GOOD JUDGMENT)the quality of having good judgment可靠性;完善 Wise and sensible be a victory for common senseidiom cannily canny clear-headed clear-headedly judicious judiciously level-headed long-sightedness method reasoned responsibility responsible responsibly right-minded victory well advised wily wisdom wise soundness | Business Englishsoundness noun[ U ] /ˈsaʊndnəs/ukus the quality of being able to be trusted: Those problems called into question the bank's financial safety and soundness. Examples of soundnesssoundness The main result of this subsection follows as an immediate corollary of the soundness of the typing system. The tool's soundness theorem is expressed in terms of the bit-level semantics of x86 programs, so its correctness depends on very few assumptions. If the system in figure 4 is operationally correct then, because of the soundness theorem above, the system in figure 3 is operationally correct. We show that the system enjoys properties like type uniqueness, subject reduction, soundness, confluence, and weak normalization. Section 5 then proves soundness (but not completeness) in the general case where predicates in contracts may diverge. The addition of recursive contracts has far-reaching implications, deeply affecting the formulation of our model and requiring different techniques for proving soundness. The following results are required by the proof of the soundness theorem below. We are interested in the soundness and conservativity issues these features raise: can we ensure modularity features do not lead to inconsistencies? Our proof (sections 4 and 5) is short, but not as straightforward as those of soundness and conservativity. In this section, we describe how this executable model has been used to check the soundness of polymorphic inference rules by calculation. We give dynamic and static semantics for the language, and prove the soundness of the type system. Therefore, soundness and completeness alone are insufficient for proving that the considered calculus provides an internal language of the complete models. The following theorem shows the soundness of substitution. We will establish that these processes are in fact bisimilar and then, by soundness, we may conclude that they are contextual observational equivalent. We present a new soundness proof for their logic using denotational semantics. See all examples of soundness These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
| 随便看 |
|
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。