你即將離開本站

並前往https://dl.acm.org/doi/10.1145/2858949.2784766

Learning refinement types | ACM SIGPLAN Notices

We propose the integration of a random test generation system (capable of discovering program bugs) and a refinement type system (capable of expressing and ...

確定！ 回上一頁

查詢 「Refinement」的人也找了：

  1. refinements中文
    2.
  2. refinement意思
    3.
  3. refinement例句
    4.
  4. Refine
    5.
  5. refinement數學
    6.
  6. Refinement
    7.
  7. refinement會議
    8.
  8. refine中文
    9.