Verve: типобезопасная ОС от MS Research
От: deniok Россия  
Дата: 07.12.10 18:48
Оценка: 115 (10)

The Singularity project (an OS written in managed code used for research purposes) has provided several very useful research results and opened new avenues for exploration in operating system design. Recently, MSR released a paper covering an operating system research project that takes a new approach to building an OS stack with verifiable and type safe managed code.


http://channel9.msdn.com/Shows/Going+Deep/Verve-A-Type-Safe-Operating-System
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.