1
Bisakah prinsip ujung ke ujung diformalkan?
Pada akhir 1990-an, ketika saya masih di sekolah pascasarjana, kertas JH Saltzer; DP Reed; DD Clark: Argumen ujung ke ujung dalam desain sistem . ACM Trans. Komputasi. Syst. 2 (4): 277-288, 1984. DOI = 10.1145 / 357401.357402 cukup banyak bacaan wajib di setiap kelas sistem operasi di setiap universitas, dan …