Sentence examples for approximation of the concrete from inspiring English sources

With the emergence of efficient generic abstract interpretation algorithms for logic programming, the main burden in building an analysis is the abstract domain which gives a safe approximation of the concrete domain of computation.

Therefore, at the best, the relations retrieved by Scholia represent an approximation for the concrete relations established in a particular execution of the target system.

Application of a specific theoretical expression depends on the complexity of the concrete design case, so one may tell four levels of approximation: LoA I LoA IV, with increasing of the exactness of determination of the rotation ψ.

Shear strength of the concrete.

Consider the age of the concrete.

Clean the surface of the concrete.

Smooth the top of the concrete.

Clean the surface of the concrete thoroughly.

Consider the thickness of the concrete.

History is always just an approximation of the past.

Of course, this might well be a faithful approximation of the real event it describes.