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

#Compreensão #Linguagem #Von neumann #Lei #álgebra #Propriedade #Ferramentas #Soluções #Equações #Semântica #Raciocínio #Adequado #Preciso #Comum #Transforming #Programa #Convencional #Descrevendo

Versão em inglês

Von Neumann languages do not have useful properties for reasoning about programs. Axiomatic and denotational semantics are precise tools for describing and understanding conventional programs, but they only talk about them and cannot alter their ungainly properties. Unlike von Neumann languages, the language of ordinary algebra is suitable both for stating its laws and for transforming an equation into its solution, all within the "language."