Издательство: | Книга по требованию |
Дата выхода: | июль 2011 |
ISBN: | 978-6-1309-0026-7 |
Объём: | 76 страниц |
Масса: | 135 г |
Размеры(В x Ш x Т), см: | 23 x 16 x 1 |
High Quality Content by WIKIPEDIA articles! 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.
Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.