I have always been a little disappointed with both Knuths LP and TAOCP as if they are just missing the point. I feel that he has failed to raised software devel

I have always been a little disappointed with both Knuths LP and TAOCP as if they are just missing the point. I feel that he has failed to raised software development from craftsmanship towards engineering. I do not know if he has ever seen this or that his approach has simply failed. Software engineering should be about going from the abstract to the concrete taking into within given bounds. Any implementation of an algorithm takes into account certain bounds. In the abstract things are infinite, in the concrete they are always finite. A program that can add two numbers, always puts restrictions on the size of those numbers and the way they are represented.