Operating System and Programming Theory