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

 
9786130900267: Sing Sharp: Programming Language, Spec Sharp, C Sharp (Programming Language), Microsoft Research, Singularity (Operating System)
Brossura
ISBN 10: 6130900260 ISBN 13: 9786130900267
Casa editrice: Betascript Publishing, 2010

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Betascript Publishing
Data di pubblicazione
2010
Lingua
Inglese
ISBN 10 
6130900260
ISBN 13 
9786130900267
Rilegatura
Copertina flessibile
Numero di pagine
76
Redattore
Surhone Lambert M., Timpledon Miriam T., Marseken Susan F.
Contatto del produttore
non disponibile
Persona responsabile
non disponibile