computer architecture debian kernel linux linux kernel operating system computing free software kernel (computing) reliability engineering microkernel system software comparison of operating system kernels object object oriented object-oriented software engineering programming language object-oriented programming programming paradigms semantics denotational semantics programming language theory compiler virtual machine computer science curly bracket programming languages c (programming language) compiler theory