Flux Research Group / School of Computing

kIDL: Interface Definition Language for the Kernel

Sarah Spall

MS Project Report , University of Utah. 2016.

areas
Operating Systems, Languages