Sentence examples similar to first order imperative from inspiring English sources

They defined the lattice based analysis proposed by Denning in [15] as a type system for a prototypical imperative language with first order procedures.

This is a hard challenge but a moral imperative of the first order, as the Prime Minister of the United Kingdom stated in the DFID White Paper on Making Globalisation Work to Eliminate World Poverty [ 13].

In order for a scheme to be well-balanced up to second order, it is imperative that the Riemann solver should at least capture stationary contact discontinuities in a self-gravitating situation involving Euler flow.

First order of business: bathrooms.

The first order, he said, "worked out.

It is imperative to note that due to a large number of unknown and/or poorly constrained variables, these calculations should only be regarded as a first order approximation.

results in (first order) Peano Arithmetic (PA).

The first order of business?

The fictional group is the "First Order".

Focus on either tiannature:sky dao or Great dao thus undermines the sense that it is imperative to master or impose any particular first-order dao.

Proof of correctness was conducted using the KeY tool (Beckert, Hanle and Schmitt 2007), an interactive theorem proving environment for first-order dynamic logic that allows the user to prove properties of imperative and object-oriented sequential programs.