Results 1 to 7 of 7
Sort by:

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

  • Prover9
  • Referenced in 198 articles [sw04969]
  • Prover9 and Mace4: Prover9 is an automated theorem...

  • Mace4
  • Referenced in 228 articles [sw06905]
  • finite model-finder Mace4. Mace4 is a program...

  • Python
  • Referenced in 2164 articles [sw14460]
  • Python is a widely used high-level, general...

  • SAX
  • Referenced in 20 articles [sw15673]
  • SAX is the Simple API for XML, originally...

  • XPath
  • Referenced in 375 articles [sw15780]
  • XPath 2.0 is an expression language that allows...

  • Oracle
  • Referenced in 232 articles [sw15847]
  • Oracle Database is an object-relational database management...