Program logic is the implementation of the program's requirements and design. If the design of the application is bad, the program logic can nevertheless be professionally implemented. For example ...

In 1945, he wrote the specification of the EDVAC—the first stored-program, logic-based computer—which is generally considered the definitive source guide for modern computer design.