John Backus: "Von Neumann Idiomas não têm propriedades úteis para raci...

"Von Neumann Idiomas não têm propriedades úteis para raciocinar sobre programas. Semântica axiomática e denotacional são ferramentas precisas para descrever e entender programas convencionais, mas eles só falam sobre eles e não podem alterar suas propriedades desajeitadas. Ao contrário das línguas von neumann, a linguagem da álgebra comum é adequada tanto para declarar suas leis como para transformar uma equação em sua solução, tudo dentro da "linguagem"."

--- John Backus