Virtual Separation of Concerns (2011 Update)
Virtual Separation of Concerns
Parsing and Type checking all 2^10000 configurations of the Linux kernel