zoukankan      html  css  js  c++  java
  • 【SpeC#】-C#的又一同胞兄弟

            前天偶逛微软的http://research.microsoft.com/,发现.NET中又添新丁了,
    不过尚处实验室中。
            http://research.microsoft.com/specsharp/【官方站点】    
    • Spec# 1.0.5030 for Microsoft Visual Studio .NET 2003 - Download, Release Notes
    • Spec# 1.0.6003 for Microsoft Visual Studio .NET 2005 (RTM) - Download, Release Notes

    ------------------------------------------------------------------------------------------------------------------------

    Overview

    The Spec# programming system is a new attempt at a more cost effective way to develop and maintain high-quality software.  Spec# is pronounced "Spec sharp" and can be written (and searched for) as the "specsharp" or "Spec# programming system".  The Spec# system consists of:

    • The Spec# programming language.  Spec# is an extension of the object-oriented language C#.  It extends the type system to include non-null types and checked exceptions.  It provides method contracts in the form of pre- and postconditions as well as object invariants.
    • The Spec# compiler.  Integrated into the Microsoft Visual Studio development environment for the .NET platform, the compiler statically enforces non-null types, emits run-time checks for method contracts and invariants, and records the contracts as metadata for consumption by downstream tools.
    • The Spec# static program verifier.  This component (codenamed Boogie) generates logical verification conditions from a Spec# program.  Internally, it uses an automatic theorem prover that analyzes the verification conditions to prove the correctness of the program or find errors in it.

     -----------------------------------------------------------------------------------------------------------------------------

  • 相关阅读:
    前端常用模板引擎- artTemplate
    Vue-多级组件嵌套传值
    echarts图表常用到的设置
    react-基础入门分享
    vue中 export const 和 export default的区别
    vue安装依赖报错
    nvm-node版本控制工具
    gulp-入门
    vue 中使用 iconfont
    c3中基本动画
  • 原文地址:https://www.cnblogs.com/xianyun/p/425351.html
Copyright © 2011-2022 走看看