你即將離開本站

並前往https://ir.cwi.nl/pub/29598

Discourje: Runtime verification of communication protocols in ...

This paper presents Discourje: a runtime verification framework for communication protocols in Clojure. Discourje guarantees safety of protocol ...

確定！ 回上一頁

查詢 「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.