Results 21 to 40 of 93
Sort by:

  • Beluga
  • Referenced in 26 articles [sw01321]
  • Our main interest in this project is to...

  • Smalltalk
  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...

  • RuleML
  • Referenced in 27 articles [sw01792]
  • The goal of the Rule Markup Initiative is...

  • ELAN
  • Referenced in 108 articles [sw02179]
  • The ELAN system provides an environment for specifying...

  • OTTER
  • Referenced in 316 articles [sw02904]
  • Our current automated deduction system Otter is designed...

  • VAMPIRE
  • Referenced in 258 articles [sw02918]
  • Vampire 8.0, [RV02,Vor05] is an automatic theorem...

  • BABEL
  • Referenced in 71 articles [sw03018]
  • Logic programming with functions and predicates: The language...

  • THF0
  • Referenced in 14 articles [sw03310]
  • THF0 is a syntactically conservative extension of the...

  • PVS
  • Referenced in 629 articles [sw03484]
  • PVS is a verification system: that is, a...

  • Haskell
  • Referenced in 880 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...

  • UCI-ml
  • Referenced in 3403 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...

  • SPASS
  • Referenced in 185 articles [sw04108]
  • SPASS is an automated theorem prover for first...

  • TPTP
  • Referenced in 395 articles [sw04143]
  • The TPTP (Thousands of Problems for Theorem Provers...

  • JML
  • Referenced in 189 articles [sw04597]
  • The Java Modeling Language (JML) is a behavioral...

  • Miranda
  • Referenced in 153 articles [sw04986]
  • Miranda: A non-strict functional language with polymorphic...

  • OBJ3
  • Referenced in 140 articles [sw05370]
  • OBJ3 is a program specification and proof system...

  • HOL
  • Referenced in 591 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...

  • CafeOBJ
  • Referenced in 171 articles [sw06232]
  • CafeOBJ as a tool for behavioral system verification...