> However, Singularity's singular goal (sorry the pun) is to be > research-oriented towards mathematically verifiable formal security. > This includes creating a subset of C# with formal-verification language > constructs.
Im very interested in this as well. Many of the same ideas as Singularity, although I have some others too I haven't seen them mention. > Anyway, that was my overarching idea. Thanks for the detailed post. ------------------------------------------------------------------------- This SF.net email is sponsored by: Splunk Inc. Still grepping through log files to find problems? Stop. Now Search log events and configuration files using AJAX and a browser. Download your FREE copy of Splunk now >> http://get.splunk.com/ _______________________________________________ SharpOS-Developers mailing list SharpOS-Developers@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/sharpos-developers
