• 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...