你即將離開本站

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

[1808.07937] Runtime verification in Erlang by using contracts

One of them can be used in any Erlang program, while the second type is intended to be used only in concurrent programs. We provide the details ...

確定！ 回上一頁

查詢 「Erlang」的人也找了：

  1. erlang教學
    2.
  2. erlang用途
    3.
  3. erlang中文
    4.
  4. erlang通訊
    5.
  5. erlang distribution中文
    6.
  6. erlang單位
    7.
  7. Erlang-download
    8.
  8. Erlang distribution
    9.