rafaeldff + galenhunt   1

Singularity: Rethinking the Software Stack
"Singularity systems incorporate three key architectural features: software-isolated processes for protection of programs and system services, contract-based channels for communication, and manifest-based programs for verification of system properties. We
paper  Singularity  OS  OperatingSystem  software  system  systems  research  microsoft  GalenCHunt  JamesRLarus  GalenHunt  JamesLarus  language  reliability  contracts  contract  dbc  isolation 
july 2007 by rafaeldff

Copy this bookmark:



description:


tags: