Mod parent up. Dijkstra's paper on THE was the first paper I read in my grad OS class, and he was an ardent supporter that ALL computer programs should be formally proven.
Now whether you could actually call THE an OS, in the modern sense, could be debated...
Slashdot Mirror
Mod parent up. Dijkstra's paper on THE was the first paper I read in my grad OS class, and he was an ardent supporter that ALL computer programs should be formally proven. Now whether you could actually call THE an OS, in the modern sense, could be debated...