当前位置: 首页 > 工具软件 > Spec Explorer > 使用案例 >

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

顾亦
2023-12-01
F#    
  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.    
   
  http://research.microsoft.com/projects/ilx/fsharp.aspx    
   
  Spec#      
  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.    
  http://research.microsoft.com/SpecSharp/    

来自 “ ITPUB博客 ” ,链接:http://blog.itpub.net/30193/viewspace-492447/,如需转载,请注明出处,否则将追究法律责任。

转载于:http://blog.itpub.net/30193/viewspace-492447/

 类似资料: