Sentence examples for ensures soundness from inspiring English sources

The model ensures soundness of the extension of Hoare Type Theory with impredicative polymorphism; makes the connections to separation logic clear, and provides a basis for investigation of further sound extensions of the theory, in particular equations between computations and types.

A major motivation of proof-planning is to bridge the gap between high-level, cognitively adequate reasoning for specific domains, and calculus-level reasoning to ensure soundness.

In order to ensure soundness within a reasoning level, we use techniques developed in the context of matrix characterisation relying on the notion of indexed formulas.

Papers for publication in AFE are selected through a peer review process to ensure soundness, originality, relevance, and readability.

Papers for publication in Functional Linguistics are selected through a peer review process to ensure soundness, originality, relevance, and readability.

In particular, a group of hardline Tory backbenchers saw immediately that the Wright reforms could become a major instrument in their campaign to ensure Mr Cameron's coalition did not drift away from their version of true Conservative values, and in particular to ensure "soundness" on Europe.

The analysis ensures the soundness and accuracy of each optimization update.

The challenge is to provide a framework that ensures the soundness of such verifiers, without posing an undue burden on the verifier developer.

Horses must remain sound of limb to ensure lung soundness, and they must remain sound of lung to achieve and maintain limb soundness.

It also regulates financial practices in the markets to ensure their soundness and financial integrity.

An external scientific advisory group reviewed the targeted approach and the final report to ensure scientific soundness.