你即將離開本站

並前往https://2020.ecoop.org/details/FTfJP-2020-papers/9/Discourje-Runtime-Verification-of-Communication-Protocols-in-Clojure

Runtime Verification of Communication Protocols in Clojure

I will present Discourje: a runtime verification framework for communication protocols in Clojure. Discourje guarantees safety of protocol implementations ...

確定！ 回上一頁

查詢 「clojure protocols」的人也找了：

  1. clojure defrecord
    2.
  2. clojure polymorphism
    3.
  3. clojure deftype
    4.
  4. clojure deftype vs defrecord
    5.
  5. clojure defmulti multiple arguments
    6.
  6. Clojure extend protocol
    7.
  7. Clojure Java interop
    8.
  8. clojure reify
    9.