Many loop invariants can be expressed in the form of the fixed point of a predicate universal function while weakest precondition is least fixed point and explained in the view of category theory.

That matters not least because, as Morgan Stanley's own analysts point out, the bigger you are in fixed income, the less volatile your returns.

A new method for designing linear phase FIR digital filter with fixed-point coefficients based on the peak-constrained least-squares criterion is proposed in this paper.