Sing sharp programming language (2 résultats)

Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. Sing# is aconcurrent 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 laterextended it into Sing# in order to develop the Singularity operatingsystem. Sing# augments the capabilities of Spec# with support forchannels and low-level programming language constructs, which arenecessary for implementing system software. Sing# is type-safe. Thesemantics of message-passing primitives in Sing# are defined by formaland written contracts.…

Taschenbuch. Etat : Neu. Sing Sharp | Programming Language, Spec Sharp, C Sharp (Programming Language), Microsoft Research, Singularity (Operating System) | Lambert M. Surhone (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786130900267 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.…