|
|
|
|
|
|
by cpitman
3841 days ago
|
|
|
It's pretty much dead now, but Microsoft Research had a project called Singularity (http://research.microsoft.com/en-us/projects/singularity/). It's an entire OS implemented in Spec#, which is a subset of C# + Code Contracts. It was built so that contracts between programs could be statically verified when compiled, allowing applications to all run in the kernel's address space. |
|
|