Eksempler på adequacy

• We show adequacy theorems relating the first semantics to deterministic schedulers, and the second semantics to probabilistic schedulers.

• In the crucial issues of rhetorical cogency, expressive adequacy, and honest intent, such tools have no place.

• What remains after these operations is to include a measure of income adequacy among the key variables that constitute the concept of comprehensive post-productivism.

• The adequacy of the (hemoconcentrated) volume replaced from the pump via the arterial cannula is judged by monitoring the left atrial pressure continuously during ultrafiltration.

• This is shown using methods from denotational semantics, mainly adequacy theorems which relate the (given) operational semantics with the denotational semantics.

• The validity of a model may be determined by means of so-called adequacy constraints.

• In such a way the adequacy of a physical model as well as of computational codes may be checked up.

• Of course, we assume that computational adequacy holds: the mathematical and operational meanings of the language coincide for terms of base types.