jaykul's Bookmarks About "Spark#"

Home / people / jaykul / links / "Spark#"

Joel Bennett, member since Mar 18, 2005

Search Everyone: "spark#",

Show 50 · 100 · all

1 - 5 of 5

Watch jaykul

Microsoft's Other OS

A research OS which is written in managed code compiled to assembly ... designed from the ground up for security

by jaykul 2005-12-09 22:48 @Public/Miscellaneous/Singularity_Spark · Singularity · OS · Microsoft · Windows · Linux · C# · Spark# · Spec#

http://www.microsoft-watch.com/article2/0,2180,1882174,00.asp - cached - mail it - history

Singularity - Home

Singularity - MS Research

by jaykul 2005-12-09 22:48 @Public/Miscellaneous/Singularity_Spark · Singularity · OS · Microsoft · Windows · Linux · C# · Spark# · Spec#

http://research.microsoft.com/os/singularity/ - cached - mail it - history

Spec# - Home

Spec# is an extension of C# including non-null types and checked exceptions, method contracts (pre- and postconditions, object invariants, etc)

by jaykul 2005-12-09 22:48 @Public/Develop/Languages/dotNET_Languages · Programming · Languages · Singularity · Microsoft · C# · Spark# · Spec#

http://research.microsoft.com/specsharp/ - cached - mail it - history

Xenopz Blog - Spec# without a Spec# project

Some simple examples of design-by-contract as implemented in Spec#'s extension of C#

by jaykul 2005-12-09 22:48 @Public/Develop/Languages/dotNET_Languages · Programming · Languages · Singularity · Microsoft · C# · Spark# · Spec#

http://www.xenopz.com/blog/bartdeboeck/PermaLink,guid,5947af11-f0a2-48e4-959e-1c3168178dc2.aspx - cached - mail it - history

Channel9 Wiki: HomePage

Spec# documentation as a Wiki.

by jaykul 2005-12-09 22:48 @Public/Develop/Languages/dotNET_Languages · Programming · Languages · Singularity · Microsoft · C# · Spark# · Spec#

http://channel9.msdn.com/wiki/default.aspx/SpecSharp.HomePage - cached - mail it - history

1 - 5 of 5

Related Tags

- exclude ~ optional + require

-- ~ + 5 c#

-- ~ + 5 microsoft

-- ~ + 5 singularity

-- ~ + 5 spark#

-- ~ + 5 spec#

-- ~ + 3 languages

-- ~ + 3 programming

-- ~ + 2 linux

-- ~ + 2 os

-- ~ + 2 windows

Add Dates

Dec 9, 2005

Mar 18, 2005