The Design of the Venus Operating System.

Barbara H. Liskov

Published in: Commun. ACM (1972)

Keyphrases

operating system
operating environment
computer systems
memory management
application programs
microsoft windows
high assurance
databases
data management
design process
embedded systems
command line
windows xp