首页 > Linux操作系统 > Linux操作系统 > 微软又出新语言了 F# 和 SPEC#

微软又出新语言了 F# 和 SPEC#

原创 Linux操作系统 作者:Kenniu 时间:2019-06-13 20:42:05 0 删除 编辑
  F#   is   a   mixed   functional/imperative   programming   language   based   on   the   design   of   the   functional   language   Caml   and   the   .NET   language   C#."    
  F#   is   a   research   project   designed   to   exploit   the   potential   of   the   .NET   platform.   to   further   the   long-standing   goals   of   the   functional   programming   community.   The   aim   is   to   prove   that   it   is   feasible   and   useful   to   implement   ML-like   languages   for   use   on   the   .NET   Framework.     
  The   Spec#   programming   system   is   a   new   attempt   at   a   more   cost   effective   way   to   develop   and   maintain   high-quality   software.       The   system   consists   of:    
  The   Spec#   programming   language.   Spec#   is   an   extension   of   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,   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   translates   Spec#   programs   into   logical   verification   conditions.   Internally   it   uses   an   automatic   theorem   prover   that   operates   on   the   verification   conditions   deduced   from   the   Spec#   contract.    
  An   interface   to   the   Spec   Explorer   tool   for   test   generation   and   model-based   testing.    

来自 “ ITPUB博客 ” ,链接:,如需转载,请注明出处,否则将追究法律责任。

上一篇: 笑话


  • 博文量
  • 访问量