你即將離開本站

並前往https://arxiv.org/abs/1703.00053

[1703.00053] Verified Low-Level Programming Embedded in F*

Low* is a shallow embedding of a small, sequential, well-behaved subset of C in F*, a dependently-typed variant of ML aimed at program verification.

確定！ 回上一頁

查詢 「Embedded within」的人也找了：

  1. embedded意思
    2.
  2. embedded用法
    3.
  3. Embedded in
    4.
  4. embedded question中文
    5.
  5. embedded發音
    6.
  6. embedded derivatives中文
    7.
  7. embedded醫學中文
    8.
  8. Embedded synonym
    9.