Results 21 to 32 of 32
Sort by:

  • CCalc
  • Referenced in 79 articles [sw09899]
  • The Causal Calculator (CCalc) is a system for...

  • Z/EVES
  • Referenced in 44 articles [sw10262]
  • Z/EVES Eclipse prover IDE. Community Z Tools provide...

  • Z
  • Referenced in 286 articles [sw10291]
  • Using Z. Specification, refinement, and proof. The book...

  • BWare
  • Referenced in 6 articles [sw10405]
  • The BWare project is an industrial research project...

  • Easychair
  • Referenced in 45 articles [sw13265]
  • EasyChair is a conference management system that is...

  • ASPMT2SMT
  • Referenced in 5 articles [sw13280]
  • System ASPMT2SMT: computing ASPMT theories by SMT solvers...

  • CoqMTU
  • Referenced in 3 articles [sw19138]
  • CoqMTU: A higher-order type theory with a...

  • CoqMT
  • Referenced in 6 articles [sw19139]
  • Coq Modulo Theory. Coq Modulo Theory (CoqMT) is...

  • Datalog
  • Referenced in 293 articles [sw20023]
  • Datalog is a declarative logic programming language that...

  • Lucid
  • Referenced in 39 articles [sw21485]
  • Lucid, the dataflow programming language. Lucid is a...

  • Eff
  • Referenced in 21 articles [sw22721]
  • Eff is a functional programming language based on...

  • SETL
  • Referenced in 28 articles [sw36325]
  • Programming with sets. An introduction to SETL. of...