你即將離開本站

並前往https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/krml248.pdf

Programming Language Features for Refinement - Microsoft

In this paper, we consider how a programming language can give software engineers the ability to write the source code in logical stages, in the same way that ...

確定！ 回上一頁

查詢 「Code refinement」的人也找了：

  1. Refine code
    2.
  2. Refine source code
    3.