Интернет магазин китайских планшетных компьютеров



Компьютеры - Spec Sharp

28 апреля 2011


Оглавление:
1. Spec Sharp
2. Пример



Правильный заголовок этой статьи — Spec#. Он показан некорректно из-за технических ограничений.

язык программирования с поддержкой особенностей языка спецификаций, расширяющих возможности языка программирования C# Эйфелеподобным контрактным программированием, включая объектные инварианты, предусловия и постусловия. Как и ESC/Java, язык содержит инструмент статической проверки, основанный на доказательстве теоремы, позволяющее статически проверять большинство таких инвариантов. Также он включает в себя множество других не столь значимых дополнений, как например, ненулевые ссылочные типы.

Microsoft Research разработала оба языка Spec# и C#; в свою очередь, Spec# послужил основой для создания языка Sing#, разработанный также Microsoft Research.



Просмотров: 798


<<< Microsoft Windows