你即將離開本站

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

[1805.05576] Borrowing Safe Pointers from Rust in SPARK

In the field of deductive software verification, programs with pointers present a major challenge due to pointer aliasing. In this paper, we ...

確定！ 回上一頁

查詢 「Rust pointer」的人也找了：

  1. Rust pointer
    2.
  2. Rust
    3.
  3. Rust function pointer
    4.
  4. Rust Rc
    5.
  5. Rust reference
    6.
  6. Rust dereference
    7.
  7. Rust unsafe
    8.
  8. Rust box usage
    9.