Языки фон Неймана не обладают полезными свойствами для рассуждений о программах. Аксиоматическая и денотационная семантика являются точными инструментами для описания и понимания обычных программ, но они говорят только о них и не могут изменить свои неуклюжие свойства. В отличие от языков фон Неймана, язык обычной алгебры подходит как для указания его законов, так и для преобразования уравнения в его решение, все это на «языке».