Dictionary
Thesaurus
Reference
Translate
Web
Related Searches
on Ask.com
Sing sharp - 3 reference results
Sharp Parts
Over 8 Million Parts & Accessories. Toll Free Help and Easy Returns.
Sponsored Results Sharp.PartStore.com
Sing Sharp

Sing# is a concurrent programming language that is a superset of the Spec# programming language; in turn, Spec# is an extension of the C# programming language. Microsoft Research developed Spec#, and later extended it into Sing# in order to develop the Singularity operating system. Sing# augments the capabilities of Spec# with support for channels and low-level programming language constructs, which are necessary for implementing system software. Sing# is type-safe. The semantics of message-passing primitives in Sing# are defined by formal and written contracts.

See also

Sources

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)
This article is licensed under the GNU Free Documentation License.
Last updated on Monday May 05, 2008 at 12:36:31 PDT (GMT -0700)
View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Sharp Parts
Over 8 Million Parts & Accessories. Toll Free Help and Easy Returns.
Sponsored Results Sharp.PartStore.com
Sing Sharp

Sing# is a concurrent programming language that is a superset of the Spec# programming language; in turn, Spec# is an extension of the C# programming language. Microsoft Research developed Spec#, and later extended it into Sing# in order to develop the Singularity operating system. Sing# augments the capabilities of Spec# with support for channels and low-level programming language constructs, which are necessary for implementing system software. Sing# is type-safe. The semantics of message-passing primitives in Sing# are defined by formal and written contracts.

See also

Sources

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)
This article is licensed under the GNU Free Documentation License.
Last updated on Monday May 05, 2008 at 12:36:31 PDT (GMT -0700)
View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Near-death experience
Apr 04, 2005; Songs of Praise BBC1 OF ALL the pronouncements made about Pope John Paul II this weekend, the oddest was surely the widely quoted...
Read more with a free trial on HighBeam.com »
Near-death experience.(Television Program Review)
Apr 04, 2005; Byline: VICTOR LEWIS-SMITH Songs of Praise BBC1 OF ALL the pronouncements made about Pope John Paul II this weekend, the oddest...
Read more with a free trial on HighBeam.com »
Video -- Verdi's La Traviata by Gheorghiu, Lopardo, Nucci and the Royal Opera (Covent Garden) under Georg Solti
Jan 06, 1996; Gheorghiu; Lopardo, Nucci; Royal Opera (Coyent Garden); Solti. Londo1E HS 440 071-531, 135 mins. In Italian, subtitled (also...
Read more with a free trial on HighBeam.com »
Sharp heads home to search for signings
Oct 17, 2006; Hull Fc coach Peter Sharp admits he is looking towards New Zealand in a bid to strengthen his squad for next year. Sharp has...
Read more with a free trial on HighBeam.com »
Il Re Pastore In Leeds
Oct 01, 1998; IL RE PASTORE IN LEEDS Mozart's II Re Pastore K 208 is a work of static charm, and David McVicar is to be congratulated for his...
Read more with a free trial on HighBeam.com »
HighBeam Research, Inc. © Copyright 2009.

Search another word or see Sing sharp on Dictionary | Thesaurus