1
Чи можна формалізувати принцип "від кінця до кінця"?
Наприкінці 1990-х, коли я навчався в аспірантурі, папір JH Saltzer; Д. П. Рід; Д.Д. Кларк: аргументи в кінці системи . ACM Trans. Обчислення. Сист. 2 (4): 277-288, 1984. DOI = 10.1145 / 357401.357402 був дуже потрібний для читання в кожному класі операційних систем у кожному університеті, і все одно, здається, …