John Backus: "Bahasa Von Neumann tidak memiliki sifat yang berguna unt...

"Bahasa Von Neumann tidak memiliki sifat yang berguna untuk alasan tentang program. Semantik aksiomatik dan denotasional adalah alat yang tepat untuk menggambarkan dan memahami program konvensional, tetapi mereka hanya berbicara tentang mereka dan tidak dapat mengubah sifat canggung mereka. Tidak seperti bahasa von Neumann, bahasa aljabar biasa cocok untuk menyatakan hukumnya dan untuk mengubah persamaan menjadi solusinya, semua dalam "bahasa"."

--- John Backus

#Hukum #Bahasa #Pemahaman #Transformasi #Properti #Persamaan #Biasa #Aljabar #Alat #Program #Solusi #Konvensional #Cocok #Oleh Neumann #Mendeskripsikan #Tepat #Semantik #Pemikiran

Versi Bahasa Inggris

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."