Sing Sharp: Programming Language, Spec Sharp, C Sharp (Programming Language), Microsoft Research, Singularity (Operating System) - Couverture souple

 
9786130900267: Sing Sharp: Programming Language, Spec Sharp, C Sharp (Programming Language), Microsoft Research, Singularity (Operating System)
Couverture souple
ISBN 10 : 6130900260 ISBN 13 : 9786130900267
Editeur : Betascript Publishing, 2010

Synopsis

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. 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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. 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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Betascript Publishing
Date d'édition
2010
Langue
anglais
ISBN 10 
6130900260
ISBN 13 
9786130900267
Reliure
Broché
Nombre de pages
76
Éditeur
Surhone Lambert M., Timpledon Miriam T., Marseken Susan F.
Coordonnées du fabricant
non disponible
Personne responsable
non disponible