Edsger Dijkstra: "Ketika kita mengambil posisi bahwa tidak hanya tangg...

"Ketika kita mengambil posisi bahwa tidak hanya tanggung jawab programmer untuk menghasilkan program yang benar tetapi juga untuk menunjukkan kebenarannya dengan cara yang meyakinkan, maka pernyataan di atas memiliki pengaruh mendalam pada aktivitas programmer: objek yang harus ia hasilkan haruslah berguna terstruktur."

--- Edsger Dijkstra

#Programmer #Tanggung jawab #Aktivitas #Menghasilkan #Catatan #Benda #Meyakinkan #Ketepatan #Program #Mempengaruhi #Posisi #Mendalam

Versi Bahasa Inggris

When we take the position that it is not only the programmer's responsibility to produce a correct program but also to demonstrate its correctness in a convincing manner, then the above remarks have a profound influence on the programmer's activity: the object he has to produce must be usefully structured.